	Ignored #4 {{{
# equivalent to 11
		java.io	BufferedInputStream	<init>
		java.io	ByteArrayInputStream	<init>
		Ljava/io/InputStream;
	}}}
	Ignored #10 {{{
# equivalent to 12
		java.io	BufferedInputStream	<init>
		java.io	InputStream	read
		Ljava/io/InputStream;
	}}}
	Ignored #3 {{{
		java.io	BufferedOutputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		Ljava/io/OutputStream;
	}}}
	Ignored #20 {{{
# equivalent to 18
# equivalent to 19
		java.io	BufferedReader	<init>
		java.io	BufferedReader	readLine
		Ljava/io/Reader;
	}}}
	Ignored #4092 {{{
# equivalent to 4633
		java.io	BufferedWriter	<init>
		java.io	StringWriter	<init>
		Ljava/io/Writer;
	}}}
	Ignored #4412 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	SequenceInputStream	<init>
		Ljava/io/InputStream;
	}}}
	Ignored #36 {{{
		java.io	ByteArrayOutputStream	<init>
		java.io	OutputStream	write
		Ljava/io/ByteArrayOutputStream;
	}}}
	Ignored #4399 {{{
		java.io	CharArrayReader	<init>
		java.io	Closeable	close
		Ljava/io/CharArrayReader;
	}}}
	Ignored #4371 {{{
# equivalent to 1
		java.io	CharArrayReader	<init>
		java.io	PushbackReader	<init>
		Ljava/io/Reader;
	}}}
	EventSpecification #4583 {{{
		java.io	Closeable	close
		java.io	ObjectInput	readObject
		Ljava/io/ObjectInputStream;
	}}}
	EventSpecification #4431 {{{
# equivalent to 4448
# equivalent to 4479
# equivalent to 4451
# equivalent to 4482
# equivalent to 4582
# equivalent to 4456
		java.io	Closeable	close
		java.io	ObjectOutput	writeObject
		Ljava/io/ObjectOutputStream;
	}}}
	EventSpecification #4360 {{{
		java.io	Closeable	close
		java.io	PrintWriter	println
		Ljava/io/PrintWriter;
	}}}
	Ignored #4401 {{{
		java.io	Closeable	close
		java.io	StringReader	<init>
		Ljava/io/StringReader;
	}}}
	Ignored #147 {{{
		java.io	DataInput	skipBytes
		java.io	DataInputStream	<init>
		Ljava/io/InputStream;
	}}}
	Ignored #4395 {{{
		java.io	DataInput	skipBytes
		java.io	RandomAccessFile	<init>
		Ljava/io/RandomAccessFile;
	}}}
	Ignored #158 {{{
# equivalent to 233
		java.io	File	<init>
		java.io	File	compareTo
		Ljava/io/File;
	}}}
	Ignored #155 {{{
# equivalent to 160
# equivalent to 162
		java.io	File	<init>
		java.io	File	createNewFile
		Ljava/io/File;
	}}}
	Ignored #206 {{{
# equivalent to 175
# equivalent to 178
# equivalent to 177
# equivalent to 4095
# equivalent to 173
# equivalent to 174
# equivalent to 170
# equivalent to 172
		java.io	File	<init>
		java.io	File	getAbsolutePath
		Ljava/io/File;
	}}}
	Ignored #4105 {{{
# equivalent to 179
# equivalent to 196
# equivalent to 204
# equivalent to 4101
		java.io	File	<init>
		java.io	File	getCanonicalPath
		Ljava/io/File;
	}}}
	Ignored #159 {{{
		java.io	File	<init>
		java.io	File	getPath
		Ljava/io/File;
	}}}
	Ignored #4097 {{{
# equivalent to 4098
		java.io	File	<init>
		java.io	File	hashCode
		Ljava/io/File;
	}}}
	Ignored #181 {{{
# equivalent to 185
# equivalent to 186
# equivalent to 187
# equivalent to 183
# equivalent to 184
		java.io	File	<init>
		java.io	File	isAbsolute
		Ljava/io/File;
	}}}
	Ignored #248 {{{
# equivalent to 247
# equivalent to 246
# equivalent to 251
# equivalent to 250
# equivalent to 249
# equivalent to 245
# equivalent to 241
# equivalent to 240
# equivalent to 266
# equivalent to 244
# equivalent to 243
# equivalent to 242
# equivalent to 252
# equivalent to 274
# equivalent to 273
# equivalent to 276
# equivalent to 275
# equivalent to 270
# equivalent to 269
# equivalent to 272
# equivalent to 271
# equivalent to 282
# equivalent to 281
# equivalent to 284
# equivalent to 283
# equivalent to 278
# equivalent to 277
# equivalent to 280
# equivalent to 279
# equivalent to 268
# equivalent to 255
# equivalent to 260
# equivalent to 261
# equivalent to 259
# equivalent to 257
# equivalent to 256
# equivalent to 258
# equivalent to 262
# equivalent to 285
# equivalent to 267
# equivalent to 253
# equivalent to 254
# equivalent to 263
# equivalent to 264
# equivalent to 265
		java.io	File	<init>
		java.io	File	isFile
		Ljava/io/File;
	}}}
	Ignored #189 {{{
# equivalent to 191
# equivalent to 192
		java.io	File	<init>
		java.io	File	isHidden
		Ljava/io/File;
	}}}
	Ignored #287 {{{
		java.io	File	<init>
		java.io	File	listFiles
		Ljava/io/File;
	}}}
	Ignored #234 {{{
		java.io	File	<init>
		java.io	File	renameTo
		Ljava/io/File;
	}}}
	EventSpecification #349 {{{
# equivalent to 350
# equivalent to 353
# equivalent to 356
# equivalent to 355
# equivalent to 354
# equivalent to 351
# equivalent to 352
# equivalent to 348
# equivalent to 301
# equivalent to 302
# equivalent to 299
# equivalent to 300
# equivalent to 326
# equivalent to 306
# equivalent to 303
# equivalent to 304
# equivalent to 293
# equivalent to 294
# equivalent to 291
# equivalent to 292
# equivalent to 297
# equivalent to 298
# equivalent to 295
# equivalent to 296
# equivalent to 307
# equivalent to 319
# equivalent to 320
# equivalent to 317
# equivalent to 318
# equivalent to 323
# equivalent to 324
# equivalent to 321
# equivalent to 322
# equivalent to 310
# equivalent to 311
# equivalent to 308
# equivalent to 309
# equivalent to 315
# equivalent to 316
# equivalent to 312
# equivalent to 313
# equivalent to 290
# equivalent to 335
# equivalent to 334
# equivalent to 337
# equivalent to 336
# equivalent to 325
# equivalent to 331
# equivalent to 330
# equivalent to 333
# equivalent to 332
# equivalent to 338
# equivalent to 345
# equivalent to 344
# equivalent to 347
# equivalent to 346
# equivalent to 343
# equivalent to 340
# equivalent to 339
# equivalent to 342
# equivalent to 341
# equivalent to 288
# equivalent to 289
# equivalent to 327
# equivalent to 328
# equivalent to 329
		java.io	File	exists
		java.io	File	getPath
		Ljava/io/File;
	}}}
	EventSpecification #6 {{{
		java.io	Flushable	flush
		java.io	PrintStream	print
		Ljava/io/PrintStream;
	}}}
	Ignored #4336 {{{
		java.io	InputStream	read
		java.io	PipedInputStream	<init>
		Ljava/io/PipedInputStream;
	}}}
	Ignored #4072 {{{
		java.io	InputStream	skip
		java.io	LineNumberInputStream	<init>
		Ljava/io/InputStream;
	}}}
	Ignored #4577 {{{
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		Ljava/io/InputStream;
	}}}
	Ignored #4421 {{{
# equivalent to 4602
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4493 {{{
		java.io	ObjectStreamClass	forClass
		java.io	ObjectStreamClass	lookup
		Ljava/io/ObjectStreamClass;
	}}}
	EventSpecification #4427 {{{
# equivalent to 4425
# equivalent to 4426
# equivalent to 4429
# equivalent to 4508
# equivalent to 4428
# equivalent to 4422
# equivalent to 4509
# equivalent to 4507
# equivalent to 4505
# equivalent to 4506
# equivalent to 4503
# equivalent to 4424
# equivalent to 4423
# equivalent to 4510
		java.io	ObjectStreamClass	getSerialVersionUID
		java.io	ObjectStreamClass	lookup
		Ljava/io/ObjectStreamClass;
	}}}
	Ignored #4337 {{{
		java.io	OutputStream	write
		java.io	PipedOutputStream	<init>
		Ljava/io/PipedOutputStream;
	}}}
	EventSpecification #230 {{{
		java.io	PrintStream	print
		java.io	PrintStream	println
		Ljava/io/PrintStream;
	}}}
	EventSpecification #359 {{{
# equivalent to 4435
		java.io	PrintStream	println
		java.io	PrintStream	println
		Ljava/io/PrintStream;
	}}}
	Ignored #4628 {{{
		java.io	Reader	mark
		java.io	StringReader	<init>
		Ljava/io/StringReader;
	}}}
	EventSpecification #4624 {{{
# equivalent to 4623
# equivalent to 4621
# equivalent to 4622
		java.io	StreamTokenizer	eolIsSignificant
		java.io	StreamTokenizer	nextToken
		Ljava/io/StreamTokenizer;
	}}}
	Ignored #4631 {{{
		java.io	StringWriter	<init>
		java.io	Writer	write
		Ljava/io/StringWriter;
	}}}
	EventSpecification #165 {{{
# equivalent to 164
		java.io	BufferedReader	<init>
		java.io	InputStreamReader	<init>
		Ljava/io/InputStream;
		Ljava/io/Reader;
	}}}
	EventSpecification #4408 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	InputStreamReader	<init>
		Ljava/io/InputStream;
		Ljava/io/InputStreamReader;
	}}}
	EventSpecification #4091 {{{
# equivalent to 4093
		java.io	ByteArrayOutputStream	<init>
		java.io	OutputStreamWriter	<init>
		Ljava/io/OutputStream;
		Ljava/io/OutputStreamWriter;
	}}}
	EventSpecification #4441 {{{
# equivalent to 4511
# equivalent to 144
# equivalent to 4444
# equivalent to 361
		java.io	File	<init>
		java.io	FileInputStream	<init>
		Ljava/io/File;
		Ljava/io/FileInputStream;
	}}}
	EventSpecification #2311 {{{
# equivalent to 2312
# equivalent to 2310
# equivalent to 2308
# equivalent to 2309
# equivalent to 2316
# equivalent to 2317
# equivalent to 2315
# equivalent to 2313
# equivalent to 2314
# equivalent to 2307
# equivalent to 2300
# equivalent to 2301
# equivalent to 2299
# equivalent to 2297
# equivalent to 2298
# equivalent to 2305
# equivalent to 2306
# equivalent to 2304
# equivalent to 2302
# equivalent to 2303
# equivalent to 2332
# equivalent to 2333
# equivalent to 2331
# equivalent to 2329
# equivalent to 2330
# equivalent to 2337
# equivalent to 2338
# equivalent to 2336
# equivalent to 2334
# equivalent to 2335
# equivalent to 2328
# equivalent to 2321
# equivalent to 2322
# equivalent to 2320
# equivalent to 2318
# equivalent to 2319
# equivalent to 2326
# equivalent to 2327
# equivalent to 2325
# equivalent to 2323
# equivalent to 2324
# equivalent to 2269
# equivalent to 2270
# equivalent to 2268
# equivalent to 2266
# equivalent to 2267
# equivalent to 2274
# equivalent to 2275
# equivalent to 2273
# equivalent to 2271
# equivalent to 2272
# equivalent to 2265
# equivalent to 2258
# equivalent to 2259
# equivalent to 2257
# equivalent to 2255
# equivalent to 2256
# equivalent to 2263
# equivalent to 2264
# equivalent to 2262
# equivalent to 2260
# equivalent to 2261
# equivalent to 2290
# equivalent to 2291
# equivalent to 2289
# equivalent to 2287
# equivalent to 2288
# equivalent to 2295
# equivalent to 2296
# equivalent to 2294
# equivalent to 2292
# equivalent to 2293
# equivalent to 2286
# equivalent to 2279
# equivalent to 2280
# equivalent to 2278
# equivalent to 2276
# equivalent to 2277
# equivalent to 2284
# equivalent to 2285
# equivalent to 2283
# equivalent to 2281
# equivalent to 2282
# equivalent to 2339
# equivalent to 2396
# equivalent to 2397
# equivalent to 2395
# equivalent to 2393
# equivalent to 2394
# equivalent to 2401
# equivalent to 2402
# equivalent to 2400
# equivalent to 2398
# equivalent to 2399
# equivalent to 2392
# equivalent to 2385
# equivalent to 2386
# equivalent to 2384
# equivalent to 2382
# equivalent to 2383
# equivalent to 2390
# equivalent to 2391
# equivalent to 2389
# equivalent to 2387
# equivalent to 2388
# equivalent to 2417
# equivalent to 2418
# equivalent to 2416
# equivalent to 2414
# equivalent to 2415
# equivalent to 2422
# equivalent to 2423
# equivalent to 2421
# equivalent to 2419
# equivalent to 2420
# equivalent to 2413
# equivalent to 2406
# equivalent to 2407
# equivalent to 2405
# equivalent to 2403
# equivalent to 2404
# equivalent to 2411
# equivalent to 2412
# equivalent to 2410
# equivalent to 2408
# equivalent to 2409
# equivalent to 2354
# equivalent to 2355
# equivalent to 2353
# equivalent to 2351
# equivalent to 2352
# equivalent to 2359
# equivalent to 2360
# equivalent to 2358
# equivalent to 2356
# equivalent to 2357
# equivalent to 2350
# equivalent to 2343
# equivalent to 2344
# equivalent to 2342
# equivalent to 2340
# equivalent to 2341
# equivalent to 2348
# equivalent to 2349
# equivalent to 2347
# equivalent to 2345
# equivalent to 2346
# equivalent to 2375
# equivalent to 2376
# equivalent to 2374
# equivalent to 2372
# equivalent to 2373
# equivalent to 2380
# equivalent to 2381
# equivalent to 2379
# equivalent to 2377
# equivalent to 2378
# equivalent to 2371
# equivalent to 2364
# equivalent to 2365
# equivalent to 2363
# equivalent to 2361
# equivalent to 2362
# equivalent to 2369
# equivalent to 2370
# equivalent to 2368
# equivalent to 2366
# equivalent to 2367
# equivalent to 2254
# equivalent to 1000
# equivalent to 999
# equivalent to 998
# equivalent to 1001
# equivalent to 1004
# equivalent to 1003
# equivalent to 1002
# equivalent to 993
# equivalent to 992
# equivalent to 991
# equivalent to 994
# equivalent to 997
# equivalent to 996
# equivalent to 995
# equivalent to 1005
# equivalent to 1015
# equivalent to 1014
# equivalent to 1013
# equivalent to 1016
# equivalent to 1019
# equivalent to 1018
# equivalent to 1017
# equivalent to 1008
# equivalent to 1007
# equivalent to 1006
# equivalent to 1009
# equivalent to 1012
# equivalent to 1011
# equivalent to 1010
# equivalent to 971
# equivalent to 970
# equivalent to 969
# equivalent to 972
# equivalent to 975
# equivalent to 974
# equivalent to 973
# equivalent to 964
# equivalent to 963
# equivalent to 962
# equivalent to 965
# equivalent to 968
# equivalent to 967
# equivalent to 966
# equivalent to 976
# equivalent to 986
# equivalent to 985
# equivalent to 984
# equivalent to 987
# equivalent to 990
# equivalent to 989
# equivalent to 988
# equivalent to 979
# equivalent to 978
# equivalent to 977
# equivalent to 980
# equivalent to 983
# equivalent to 982
# equivalent to 981
# equivalent to 1020
# equivalent to 1059
# equivalent to 1058
# equivalent to 1057
# equivalent to 1060
# equivalent to 1063
# equivalent to 1062
# equivalent to 1061
# equivalent to 1052
# equivalent to 1051
# equivalent to 1050
# equivalent to 1053
# equivalent to 1056
# equivalent to 1055
# equivalent to 1054
# equivalent to 1064
# equivalent to 1074
# equivalent to 1073
# equivalent to 1072
# equivalent to 1075
# equivalent to 1078
# equivalent to 1077
# equivalent to 1076
# equivalent to 1067
# equivalent to 1066
# equivalent to 1065
# equivalent to 1068
# equivalent to 1071
# equivalent to 1070
# equivalent to 1069
# equivalent to 1030
# equivalent to 1029
# equivalent to 1028
# equivalent to 1031
# equivalent to 1034
# equivalent to 1033
# equivalent to 1032
# equivalent to 1023
# equivalent to 1022
# equivalent to 1021
# equivalent to 1024
# equivalent to 1027
# equivalent to 1026
# equivalent to 1025
# equivalent to 1035
# equivalent to 1045
# equivalent to 1044
# equivalent to 1043
# equivalent to 1046
# equivalent to 1049
# equivalent to 1048
# equivalent to 1047
# equivalent to 1038
# equivalent to 1037
# equivalent to 1036
# equivalent to 1039
# equivalent to 1042
# equivalent to 1041
# equivalent to 1040
# equivalent to 961
# equivalent to 882
# equivalent to 881
# equivalent to 880
# equivalent to 883
# equivalent to 886
# equivalent to 885
# equivalent to 884
# equivalent to 875
# equivalent to 874
# equivalent to 873
# equivalent to 876
# equivalent to 879
# equivalent to 878
# equivalent to 877
# equivalent to 887
# equivalent to 897
# equivalent to 896
# equivalent to 895
# equivalent to 898
# equivalent to 901
# equivalent to 900
# equivalent to 899
# equivalent to 890
# equivalent to 889
# equivalent to 888
# equivalent to 891
# equivalent to 894
# equivalent to 893
# equivalent to 892
# equivalent to 853
# equivalent to 852
# equivalent to 851
# equivalent to 854
# equivalent to 857
# equivalent to 856
# equivalent to 855
# equivalent to 846
# equivalent to 845
# equivalent to 844
# equivalent to 847
# equivalent to 850
# equivalent to 849
# equivalent to 848
# equivalent to 858
# equivalent to 868
# equivalent to 867
# equivalent to 866
# equivalent to 869
# equivalent to 872
# equivalent to 871
# equivalent to 870
# equivalent to 861
# equivalent to 860
# equivalent to 859
# equivalent to 862
# equivalent to 865
# equivalent to 864
# equivalent to 863
# equivalent to 902
# equivalent to 941
# equivalent to 940
# equivalent to 939
# equivalent to 942
# equivalent to 945
# equivalent to 944
# equivalent to 943
# equivalent to 934
# equivalent to 933
# equivalent to 932
# equivalent to 935
# equivalent to 938
# equivalent to 937
# equivalent to 936
# equivalent to 946
# equivalent to 956
# equivalent to 955
# equivalent to 954
# equivalent to 957
# equivalent to 960
# equivalent to 959
# equivalent to 958
# equivalent to 949
# equivalent to 948
# equivalent to 947
# equivalent to 950
# equivalent to 953
# equivalent to 952
# equivalent to 951
# equivalent to 912
# equivalent to 911
# equivalent to 910
# equivalent to 913
# equivalent to 916
# equivalent to 915
# equivalent to 914
# equivalent to 905
# equivalent to 904
# equivalent to 903
# equivalent to 906
# equivalent to 909
# equivalent to 908
# equivalent to 907
# equivalent to 917
# equivalent to 927
# equivalent to 926
# equivalent to 925
# equivalent to 928
# equivalent to 931
# equivalent to 930
# equivalent to 929
# equivalent to 920
# equivalent to 919
# equivalent to 918
# equivalent to 921
# equivalent to 924
# equivalent to 923
# equivalent to 922
# equivalent to 1235
# equivalent to 1234
# equivalent to 1233
# equivalent to 1236
# equivalent to 1239
# equivalent to 1238
# equivalent to 1237
# equivalent to 1228
# equivalent to 1227
# equivalent to 1226
# equivalent to 1229
# equivalent to 1232
# equivalent to 1231
# equivalent to 1230
# equivalent to 1240
# equivalent to 1250
# equivalent to 1249
# equivalent to 1248
# equivalent to 1251
# equivalent to 1254
# equivalent to 1253
# equivalent to 1252
# equivalent to 1243
# equivalent to 1242
# equivalent to 1241
# equivalent to 1244
# equivalent to 1247
# equivalent to 1246
# equivalent to 1245
# equivalent to 1206
# equivalent to 1205
# equivalent to 1204
# equivalent to 1207
# equivalent to 1210
# equivalent to 1209
# equivalent to 1208
# equivalent to 1199
# equivalent to 1198
# equivalent to 1197
# equivalent to 1200
# equivalent to 1203
# equivalent to 1202
# equivalent to 1201
# equivalent to 1211
# equivalent to 1221
# equivalent to 1220
# equivalent to 1219
# equivalent to 1222
# equivalent to 1225
# equivalent to 1224
# equivalent to 1223
# equivalent to 1214
# equivalent to 1213
# equivalent to 1212
# equivalent to 1215
# equivalent to 1218
# equivalent to 1217
# equivalent to 1216
# equivalent to 1255
# equivalent to 1294
# equivalent to 1293
# equivalent to 1292
# equivalent to 1295
# equivalent to 1298
# equivalent to 1297
# equivalent to 1296
# equivalent to 1287
# equivalent to 1286
# equivalent to 1285
# equivalent to 1288
# equivalent to 1291
# equivalent to 1290
# equivalent to 1289
# equivalent to 1299
# equivalent to 1309
# equivalent to 1308
# equivalent to 1307
# equivalent to 1310
# equivalent to 1313
# equivalent to 1312
# equivalent to 1311
# equivalent to 1302
# equivalent to 1301
# equivalent to 1300
# equivalent to 1303
# equivalent to 1306
# equivalent to 1305
# equivalent to 1304
# equivalent to 1265
# equivalent to 1264
# equivalent to 1263
# equivalent to 1266
# equivalent to 1269
# equivalent to 1268
# equivalent to 1267
# equivalent to 1258
# equivalent to 1257
# equivalent to 1256
# equivalent to 1259
# equivalent to 1262
# equivalent to 1261
# equivalent to 1260
# equivalent to 1270
# equivalent to 1280
# equivalent to 1279
# equivalent to 1278
# equivalent to 1281
# equivalent to 1284
# equivalent to 1283
# equivalent to 1282
# equivalent to 1273
# equivalent to 1272
# equivalent to 1271
# equivalent to 1274
# equivalent to 1277
# equivalent to 1276
# equivalent to 1275
# equivalent to 1196
# equivalent to 1117
# equivalent to 1116
# equivalent to 1115
# equivalent to 1118
# equivalent to 1121
# equivalent to 1120
# equivalent to 1119
# equivalent to 1110
# equivalent to 1109
# equivalent to 1108
# equivalent to 1111
# equivalent to 1114
# equivalent to 1113
# equivalent to 1112
# equivalent to 1122
# equivalent to 1132
# equivalent to 1131
# equivalent to 1130
# equivalent to 1133
# equivalent to 1136
# equivalent to 1135
# equivalent to 1134
# equivalent to 1125
# equivalent to 1124
# equivalent to 1123
# equivalent to 1126
# equivalent to 1129
# equivalent to 1128
# equivalent to 1127
# equivalent to 1088
# equivalent to 1087
# equivalent to 1086
# equivalent to 1089
# equivalent to 1092
# equivalent to 1091
# equivalent to 1090
# equivalent to 1081
# equivalent to 1080
# equivalent to 1079
# equivalent to 1082
# equivalent to 1085
# equivalent to 1084
# equivalent to 1083
# equivalent to 1093
# equivalent to 1103
# equivalent to 1102
# equivalent to 1101
# equivalent to 1104
# equivalent to 1107
# equivalent to 1106
# equivalent to 1105
# equivalent to 1096
# equivalent to 1095
# equivalent to 1094
# equivalent to 1097
# equivalent to 1100
# equivalent to 1099
# equivalent to 1098
# equivalent to 1137
# equivalent to 1176
# equivalent to 1175
# equivalent to 1174
# equivalent to 1177
# equivalent to 1180
# equivalent to 1179
# equivalent to 1178
# equivalent to 1169
# equivalent to 1168
# equivalent to 1167
# equivalent to 1170
# equivalent to 1173
# equivalent to 1172
# equivalent to 1171
# equivalent to 1181
# equivalent to 1191
# equivalent to 1190
# equivalent to 1189
# equivalent to 1192
# equivalent to 1195
# equivalent to 1194
# equivalent to 1193
# equivalent to 1184
# equivalent to 1183
# equivalent to 1182
# equivalent to 1185
# equivalent to 1188
# equivalent to 1187
# equivalent to 1186
# equivalent to 1147
# equivalent to 1146
# equivalent to 1145
# equivalent to 1148
# equivalent to 1151
# equivalent to 1150
# equivalent to 1149
# equivalent to 1140
# equivalent to 1139
# equivalent to 1138
# equivalent to 1141
# equivalent to 1144
# equivalent to 1143
# equivalent to 1142
# equivalent to 1152
# equivalent to 1162
# equivalent to 1161
# equivalent to 1160
# equivalent to 1163
# equivalent to 1166
# equivalent to 1165
# equivalent to 1164
# equivalent to 1155
# equivalent to 1154
# equivalent to 1153
# equivalent to 1156
# equivalent to 1159
# equivalent to 1158
# equivalent to 1157
# equivalent to 530
# equivalent to 529
# equivalent to 528
# equivalent to 531
# equivalent to 534
# equivalent to 533
# equivalent to 532
# equivalent to 523
# equivalent to 522
# equivalent to 521
# equivalent to 524
# equivalent to 527
# equivalent to 526
# equivalent to 525
# equivalent to 535
# equivalent to 545
# equivalent to 544
# equivalent to 543
# equivalent to 546
# equivalent to 549
# equivalent to 548
# equivalent to 547
# equivalent to 538
# equivalent to 537
# equivalent to 536
# equivalent to 539
# equivalent to 542
# equivalent to 541
# equivalent to 540
# equivalent to 501
# equivalent to 500
# equivalent to 499
# equivalent to 502
# equivalent to 505
# equivalent to 504
# equivalent to 503
# equivalent to 494
# equivalent to 493
# equivalent to 492
# equivalent to 495
# equivalent to 498
# equivalent to 497
# equivalent to 496
# equivalent to 506
# equivalent to 516
# equivalent to 515
# equivalent to 514
# equivalent to 517
# equivalent to 520
# equivalent to 519
# equivalent to 518
# equivalent to 509
# equivalent to 508
# equivalent to 507
# equivalent to 510
# equivalent to 513
# equivalent to 512
# equivalent to 511
# equivalent to 550
# equivalent to 589
# equivalent to 588
# equivalent to 587
# equivalent to 590
# equivalent to 593
# equivalent to 592
# equivalent to 591
# equivalent to 582
# equivalent to 581
# equivalent to 580
# equivalent to 583
# equivalent to 586
# equivalent to 585
# equivalent to 584
# equivalent to 594
# equivalent to 604
# equivalent to 603
# equivalent to 602
# equivalent to 605
# equivalent to 608
# equivalent to 607
# equivalent to 606
# equivalent to 597
# equivalent to 596
# equivalent to 595
# equivalent to 598
# equivalent to 601
# equivalent to 600
# equivalent to 599
# equivalent to 560
# equivalent to 559
# equivalent to 558
# equivalent to 561
# equivalent to 564
# equivalent to 563
# equivalent to 562
# equivalent to 553
# equivalent to 552
# equivalent to 551
# equivalent to 554
# equivalent to 557
# equivalent to 556
# equivalent to 555
# equivalent to 565
# equivalent to 575
# equivalent to 574
# equivalent to 573
# equivalent to 576
# equivalent to 579
# equivalent to 578
# equivalent to 577
# equivalent to 568
# equivalent to 567
# equivalent to 566
# equivalent to 569
# equivalent to 572
# equivalent to 571
# equivalent to 570
# equivalent to 491
# equivalent to 412
# equivalent to 411
# equivalent to 410
# equivalent to 413
# equivalent to 416
# equivalent to 415
# equivalent to 414
# equivalent to 405
# equivalent to 404
# equivalent to 403
# equivalent to 406
# equivalent to 409
# equivalent to 408
# equivalent to 407
# equivalent to 417
# equivalent to 427
# equivalent to 426
# equivalent to 425
# equivalent to 428
# equivalent to 431
# equivalent to 430
# equivalent to 429
# equivalent to 420
# equivalent to 419
# equivalent to 418
# equivalent to 421
# equivalent to 424
# equivalent to 423
# equivalent to 422
# equivalent to 383
# equivalent to 382
# equivalent to 381
# equivalent to 384
# equivalent to 387
# equivalent to 386
# equivalent to 385
# equivalent to 376
# equivalent to 375
# equivalent to 374
# equivalent to 377
# equivalent to 380
# equivalent to 379
# equivalent to 378
# equivalent to 388
# equivalent to 398
# equivalent to 397
# equivalent to 396
# equivalent to 399
# equivalent to 402
# equivalent to 401
# equivalent to 400
# equivalent to 391
# equivalent to 390
# equivalent to 389
# equivalent to 392
# equivalent to 395
# equivalent to 394
# equivalent to 393
# equivalent to 432
# equivalent to 471
# equivalent to 470
# equivalent to 469
# equivalent to 472
# equivalent to 475
# equivalent to 474
# equivalent to 473
# equivalent to 464
# equivalent to 463
# equivalent to 462
# equivalent to 465
# equivalent to 468
# equivalent to 467
# equivalent to 466
# equivalent to 476
# equivalent to 486
# equivalent to 485
# equivalent to 484
# equivalent to 487
# equivalent to 490
# equivalent to 489
# equivalent to 488
# equivalent to 479
# equivalent to 478
# equivalent to 477
# equivalent to 480
# equivalent to 483
# equivalent to 482
# equivalent to 481
# equivalent to 442
# equivalent to 441
# equivalent to 440
# equivalent to 443
# equivalent to 446
# equivalent to 445
# equivalent to 444
# equivalent to 435
# equivalent to 434
# equivalent to 433
# equivalent to 436
# equivalent to 439
# equivalent to 438
# equivalent to 437
# equivalent to 447
# equivalent to 457
# equivalent to 456
# equivalent to 455
# equivalent to 458
# equivalent to 461
# equivalent to 460
# equivalent to 459
# equivalent to 450
# equivalent to 449
# equivalent to 448
# equivalent to 451
# equivalent to 454
# equivalent to 453
# equivalent to 452
# equivalent to 765
# equivalent to 764
# equivalent to 763
# equivalent to 766
# equivalent to 769
# equivalent to 768
# equivalent to 767
# equivalent to 758
# equivalent to 757
# equivalent to 756
# equivalent to 759
# equivalent to 762
# equivalent to 761
# equivalent to 760
# equivalent to 770
# equivalent to 780
# equivalent to 779
# equivalent to 778
# equivalent to 781
# equivalent to 784
# equivalent to 783
# equivalent to 782
# equivalent to 773
# equivalent to 772
# equivalent to 771
# equivalent to 774
# equivalent to 777
# equivalent to 776
# equivalent to 775
# equivalent to 736
# equivalent to 735
# equivalent to 734
# equivalent to 737
# equivalent to 740
# equivalent to 739
# equivalent to 738
# equivalent to 729
# equivalent to 728
# equivalent to 727
# equivalent to 730
# equivalent to 733
# equivalent to 732
# equivalent to 731
# equivalent to 741
# equivalent to 751
# equivalent to 750
# equivalent to 749
# equivalent to 752
# equivalent to 755
# equivalent to 754
# equivalent to 753
# equivalent to 744
# equivalent to 743
# equivalent to 742
# equivalent to 745
# equivalent to 748
# equivalent to 747
# equivalent to 746
# equivalent to 785
# equivalent to 824
# equivalent to 823
# equivalent to 822
# equivalent to 825
# equivalent to 828
# equivalent to 827
# equivalent to 826
# equivalent to 817
# equivalent to 816
# equivalent to 815
# equivalent to 818
# equivalent to 821
# equivalent to 820
# equivalent to 819
# equivalent to 829
# equivalent to 839
# equivalent to 838
# equivalent to 837
# equivalent to 840
# equivalent to 843
# equivalent to 842
# equivalent to 841
# equivalent to 832
# equivalent to 831
# equivalent to 830
# equivalent to 833
# equivalent to 836
# equivalent to 835
# equivalent to 834
# equivalent to 795
# equivalent to 794
# equivalent to 793
# equivalent to 796
# equivalent to 799
# equivalent to 798
# equivalent to 797
# equivalent to 788
# equivalent to 787
# equivalent to 786
# equivalent to 789
# equivalent to 792
# equivalent to 791
# equivalent to 790
# equivalent to 800
# equivalent to 810
# equivalent to 809
# equivalent to 808
# equivalent to 811
# equivalent to 814
# equivalent to 813
# equivalent to 812
# equivalent to 803
# equivalent to 802
# equivalent to 801
# equivalent to 804
# equivalent to 807
# equivalent to 806
# equivalent to 805
# equivalent to 726
# equivalent to 647
# equivalent to 646
# equivalent to 645
# equivalent to 648
# equivalent to 651
# equivalent to 650
# equivalent to 649
# equivalent to 640
# equivalent to 639
# equivalent to 638
# equivalent to 641
# equivalent to 644
# equivalent to 643
# equivalent to 642
# equivalent to 652
# equivalent to 662
# equivalent to 661
# equivalent to 660
# equivalent to 663
# equivalent to 666
# equivalent to 665
# equivalent to 664
# equivalent to 655
# equivalent to 654
# equivalent to 653
# equivalent to 656
# equivalent to 659
# equivalent to 658
# equivalent to 657
# equivalent to 618
# equivalent to 617
# equivalent to 616
# equivalent to 619
# equivalent to 622
# equivalent to 621
# equivalent to 620
# equivalent to 611
# equivalent to 610
# equivalent to 609
# equivalent to 612
# equivalent to 615
# equivalent to 614
# equivalent to 613
# equivalent to 623
# equivalent to 633
# equivalent to 632
# equivalent to 631
# equivalent to 634
# equivalent to 637
# equivalent to 636
# equivalent to 635
# equivalent to 626
# equivalent to 625
# equivalent to 624
# equivalent to 627
# equivalent to 630
# equivalent to 629
# equivalent to 628
# equivalent to 667
# equivalent to 706
# equivalent to 705
# equivalent to 704
# equivalent to 707
# equivalent to 710
# equivalent to 709
# equivalent to 708
# equivalent to 699
# equivalent to 698
# equivalent to 697
# equivalent to 700
# equivalent to 703
# equivalent to 702
# equivalent to 701
# equivalent to 711
# equivalent to 721
# equivalent to 720
# equivalent to 719
# equivalent to 722
# equivalent to 725
# equivalent to 724
# equivalent to 723
# equivalent to 714
# equivalent to 713
# equivalent to 712
# equivalent to 715
# equivalent to 718
# equivalent to 717
# equivalent to 716
# equivalent to 677
# equivalent to 676
# equivalent to 675
# equivalent to 678
# equivalent to 681
# equivalent to 680
# equivalent to 679
# equivalent to 670
# equivalent to 669
# equivalent to 668
# equivalent to 671
# equivalent to 674
# equivalent to 673
# equivalent to 672
# equivalent to 682
# equivalent to 692
# equivalent to 691
# equivalent to 690
# equivalent to 693
# equivalent to 696
# equivalent to 695
# equivalent to 694
# equivalent to 685
# equivalent to 684
# equivalent to 683
# equivalent to 686
# equivalent to 689
# equivalent to 688
# equivalent to 687
# equivalent to 1940
# equivalent to 1939
# equivalent to 1938
# equivalent to 1941
# equivalent to 1944
# equivalent to 1943
# equivalent to 1942
# equivalent to 1933
# equivalent to 1932
# equivalent to 1931
# equivalent to 1934
# equivalent to 1937
# equivalent to 1936
# equivalent to 1935
# equivalent to 1945
# equivalent to 1955
# equivalent to 1954
# equivalent to 1953
# equivalent to 1956
# equivalent to 1959
# equivalent to 1958
# equivalent to 1957
# equivalent to 1948
# equivalent to 1947
# equivalent to 1946
# equivalent to 1949
# equivalent to 1952
# equivalent to 1951
# equivalent to 1950
# equivalent to 1911
# equivalent to 1910
# equivalent to 1909
# equivalent to 1912
# equivalent to 1915
# equivalent to 1914
# equivalent to 1913
# equivalent to 1904
# equivalent to 1903
# equivalent to 1902
# equivalent to 1905
# equivalent to 1908
# equivalent to 1907
# equivalent to 1906
# equivalent to 1916
# equivalent to 1926
# equivalent to 1925
# equivalent to 1924
# equivalent to 1927
# equivalent to 1930
# equivalent to 1929
# equivalent to 1928
# equivalent to 1919
# equivalent to 1918
# equivalent to 1917
# equivalent to 1920
# equivalent to 1923
# equivalent to 1922
# equivalent to 1921
# equivalent to 1960
# equivalent to 1999
# equivalent to 1998
# equivalent to 1997
# equivalent to 2000
# equivalent to 2003
# equivalent to 2002
# equivalent to 2001
# equivalent to 1992
# equivalent to 1991
# equivalent to 1990
# equivalent to 1993
# equivalent to 1996
# equivalent to 1995
# equivalent to 1994
# equivalent to 2004
# equivalent to 2014
# equivalent to 2013
# equivalent to 2012
# equivalent to 2015
# equivalent to 2018
# equivalent to 2017
# equivalent to 2016
# equivalent to 2007
# equivalent to 2006
# equivalent to 2005
# equivalent to 2008
# equivalent to 2011
# equivalent to 2010
# equivalent to 2009
# equivalent to 1970
# equivalent to 1969
# equivalent to 1968
# equivalent to 1971
# equivalent to 1974
# equivalent to 1973
# equivalent to 1972
# equivalent to 1963
# equivalent to 1962
# equivalent to 1961
# equivalent to 1964
# equivalent to 1967
# equivalent to 1966
# equivalent to 1965
# equivalent to 1975
# equivalent to 1985
# equivalent to 1984
# equivalent to 1983
# equivalent to 1986
# equivalent to 1989
# equivalent to 1988
# equivalent to 1987
# equivalent to 1978
# equivalent to 1977
# equivalent to 1976
# equivalent to 1979
# equivalent to 1982
# equivalent to 1981
# equivalent to 1980
# equivalent to 1901
# equivalent to 1822
# equivalent to 1821
# equivalent to 1820
# equivalent to 1823
# equivalent to 1826
# equivalent to 1825
# equivalent to 1824
# equivalent to 1815
# equivalent to 1814
# equivalent to 1813
# equivalent to 1816
# equivalent to 1819
# equivalent to 1818
# equivalent to 1817
# equivalent to 1827
# equivalent to 1837
# equivalent to 1836
# equivalent to 1835
# equivalent to 1838
# equivalent to 1841
# equivalent to 1840
# equivalent to 1839
# equivalent to 1830
# equivalent to 1829
# equivalent to 1828
# equivalent to 1831
# equivalent to 1834
# equivalent to 1833
# equivalent to 1832
# equivalent to 1793
# equivalent to 1792
# equivalent to 1791
# equivalent to 1794
# equivalent to 1797
# equivalent to 1796
# equivalent to 1795
# equivalent to 1786
# equivalent to 1785
# equivalent to 1784
# equivalent to 1787
# equivalent to 1790
# equivalent to 1789
# equivalent to 1788
# equivalent to 1798
# equivalent to 1808
# equivalent to 1807
# equivalent to 1806
# equivalent to 1809
# equivalent to 1812
# equivalent to 1811
# equivalent to 1810
# equivalent to 1801
# equivalent to 1800
# equivalent to 1799
# equivalent to 1802
# equivalent to 1805
# equivalent to 1804
# equivalent to 1803
# equivalent to 1842
# equivalent to 1881
# equivalent to 1880
# equivalent to 1879
# equivalent to 1882
# equivalent to 1885
# equivalent to 1884
# equivalent to 1883
# equivalent to 1874
# equivalent to 1873
# equivalent to 1872
# equivalent to 1875
# equivalent to 1878
# equivalent to 1877
# equivalent to 1876
# equivalent to 1886
# equivalent to 1896
# equivalent to 1895
# equivalent to 1894
# equivalent to 1897
# equivalent to 1900
# equivalent to 1899
# equivalent to 1898
# equivalent to 1889
# equivalent to 1888
# equivalent to 1887
# equivalent to 1890
# equivalent to 1893
# equivalent to 1892
# equivalent to 1891
# equivalent to 1852
# equivalent to 1851
# equivalent to 1850
# equivalent to 1853
# equivalent to 1856
# equivalent to 1855
# equivalent to 1854
# equivalent to 1845
# equivalent to 1844
# equivalent to 1843
# equivalent to 1846
# equivalent to 1849
# equivalent to 1848
# equivalent to 1847
# equivalent to 1857
# equivalent to 1867
# equivalent to 1866
# equivalent to 1865
# equivalent to 1868
# equivalent to 1871
# equivalent to 1870
# equivalent to 1869
# equivalent to 1860
# equivalent to 1859
# equivalent to 1858
# equivalent to 1861
# equivalent to 1864
# equivalent to 1863
# equivalent to 1862
# equivalent to 2175
# equivalent to 2174
# equivalent to 2173
# equivalent to 2176
# equivalent to 2179
# equivalent to 2178
# equivalent to 2177
# equivalent to 2168
# equivalent to 2167
# equivalent to 2166
# equivalent to 2169
# equivalent to 2172
# equivalent to 2171
# equivalent to 2170
# equivalent to 2180
# equivalent to 2190
# equivalent to 2189
# equivalent to 2188
# equivalent to 2191
# equivalent to 2194
# equivalent to 2193
# equivalent to 2192
# equivalent to 2183
# equivalent to 2182
# equivalent to 2181
# equivalent to 2184
# equivalent to 2187
# equivalent to 2186
# equivalent to 2185
# equivalent to 2146
# equivalent to 2145
# equivalent to 2144
# equivalent to 2147
# equivalent to 2150
# equivalent to 2149
# equivalent to 2148
# equivalent to 2139
# equivalent to 2138
# equivalent to 2137
# equivalent to 2140
# equivalent to 2143
# equivalent to 2142
# equivalent to 2141
# equivalent to 2151
# equivalent to 2161
# equivalent to 2160
# equivalent to 2159
# equivalent to 2162
# equivalent to 2165
# equivalent to 2164
# equivalent to 2163
# equivalent to 2154
# equivalent to 2153
# equivalent to 2152
# equivalent to 2155
# equivalent to 2158
# equivalent to 2157
# equivalent to 2156
# equivalent to 2195
# equivalent to 2234
# equivalent to 2233
# equivalent to 2232
# equivalent to 2235
# equivalent to 2238
# equivalent to 2237
# equivalent to 2236
# equivalent to 2227
# equivalent to 2226
# equivalent to 2225
# equivalent to 2228
# equivalent to 2231
# equivalent to 2230
# equivalent to 2229
# equivalent to 2239
# equivalent to 2249
# equivalent to 2248
# equivalent to 2247
# equivalent to 2250
# equivalent to 2253
# equivalent to 2252
# equivalent to 2251
# equivalent to 2242
# equivalent to 2241
# equivalent to 2240
# equivalent to 2243
# equivalent to 2246
# equivalent to 2245
# equivalent to 2244
# equivalent to 2205
# equivalent to 2204
# equivalent to 2203
# equivalent to 2206
# equivalent to 2209
# equivalent to 2208
# equivalent to 2207
# equivalent to 2198
# equivalent to 2197
# equivalent to 2196
# equivalent to 2199
# equivalent to 2202
# equivalent to 2201
# equivalent to 2200
# equivalent to 2210
# equivalent to 2220
# equivalent to 2219
# equivalent to 2218
# equivalent to 2221
# equivalent to 2224
# equivalent to 2223
# equivalent to 2222
# equivalent to 2213
# equivalent to 2212
# equivalent to 2211
# equivalent to 2214
# equivalent to 2217
# equivalent to 2216
# equivalent to 2215
# equivalent to 2136
# equivalent to 2057
# equivalent to 2056
# equivalent to 2055
# equivalent to 2058
# equivalent to 2061
# equivalent to 2060
# equivalent to 2059
# equivalent to 2050
# equivalent to 2049
# equivalent to 2048
# equivalent to 2051
# equivalent to 2054
# equivalent to 2053
# equivalent to 2052
# equivalent to 2062
# equivalent to 2072
# equivalent to 2071
# equivalent to 2070
# equivalent to 2073
# equivalent to 2076
# equivalent to 2075
# equivalent to 2074
# equivalent to 2065
# equivalent to 2064
# equivalent to 2063
# equivalent to 2066
# equivalent to 2069
# equivalent to 2068
# equivalent to 2067
# equivalent to 2028
# equivalent to 2027
# equivalent to 2026
# equivalent to 2029
# equivalent to 2032
# equivalent to 2031
# equivalent to 2030
# equivalent to 2021
# equivalent to 2020
# equivalent to 2019
# equivalent to 2022
# equivalent to 2025
# equivalent to 2024
# equivalent to 2023
# equivalent to 2033
# equivalent to 2043
# equivalent to 2042
# equivalent to 2041
# equivalent to 2044
# equivalent to 2047
# equivalent to 2046
# equivalent to 2045
# equivalent to 2036
# equivalent to 2035
# equivalent to 2034
# equivalent to 2037
# equivalent to 2040
# equivalent to 2039
# equivalent to 2038
# equivalent to 2077
# equivalent to 2116
# equivalent to 2115
# equivalent to 2114
# equivalent to 2117
# equivalent to 2120
# equivalent to 2119
# equivalent to 2118
# equivalent to 2109
# equivalent to 2108
# equivalent to 2107
# equivalent to 2110
# equivalent to 2113
# equivalent to 2112
# equivalent to 2111
# equivalent to 2121
# equivalent to 2131
# equivalent to 2130
# equivalent to 2129
# equivalent to 2132
# equivalent to 2135
# equivalent to 2134
# equivalent to 2133
# equivalent to 2124
# equivalent to 2123
# equivalent to 2122
# equivalent to 2125
# equivalent to 2128
# equivalent to 2127
# equivalent to 2126
# equivalent to 2087
# equivalent to 2086
# equivalent to 2085
# equivalent to 2088
# equivalent to 2091
# equivalent to 2090
# equivalent to 2089
# equivalent to 2080
# equivalent to 2079
# equivalent to 2078
# equivalent to 2081
# equivalent to 2084
# equivalent to 2083
# equivalent to 2082
# equivalent to 2092
# equivalent to 2102
# equivalent to 2101
# equivalent to 2100
# equivalent to 2103
# equivalent to 2106
# equivalent to 2105
# equivalent to 2104
# equivalent to 2095
# equivalent to 2094
# equivalent to 2093
# equivalent to 2096
# equivalent to 2099
# equivalent to 2098
# equivalent to 2097
# equivalent to 1470
# equivalent to 1469
# equivalent to 1468
# equivalent to 1471
# equivalent to 1474
# equivalent to 1473
# equivalent to 1472
# equivalent to 1463
# equivalent to 1462
# equivalent to 1461
# equivalent to 1464
# equivalent to 1467
# equivalent to 1466
# equivalent to 1465
# equivalent to 1475
# equivalent to 1485
# equivalent to 1484
# equivalent to 1483
# equivalent to 1486
# equivalent to 1489
# equivalent to 1488
# equivalent to 1487
# equivalent to 1478
# equivalent to 1477
# equivalent to 1476
# equivalent to 1479
# equivalent to 1482
# equivalent to 1481
# equivalent to 1480
# equivalent to 1441
# equivalent to 1440
# equivalent to 1439
# equivalent to 1442
# equivalent to 1445
# equivalent to 1444
# equivalent to 1443
# equivalent to 1434
# equivalent to 1433
# equivalent to 1432
# equivalent to 1435
# equivalent to 1438
# equivalent to 1437
# equivalent to 1436
# equivalent to 1446
# equivalent to 1456
# equivalent to 1455
# equivalent to 1454
# equivalent to 1457
# equivalent to 1460
# equivalent to 1459
# equivalent to 1458
# equivalent to 1449
# equivalent to 1448
# equivalent to 1447
# equivalent to 1450
# equivalent to 1453
# equivalent to 1452
# equivalent to 1451
# equivalent to 1490
# equivalent to 1529
# equivalent to 1528
# equivalent to 1527
# equivalent to 1530
# equivalent to 1533
# equivalent to 1532
# equivalent to 1531
# equivalent to 1522
# equivalent to 1521
# equivalent to 1520
# equivalent to 1523
# equivalent to 1526
# equivalent to 1525
# equivalent to 1524
# equivalent to 1534
# equivalent to 1544
# equivalent to 1543
# equivalent to 1542
# equivalent to 1545
# equivalent to 1548
# equivalent to 1547
# equivalent to 1546
# equivalent to 1537
# equivalent to 1536
# equivalent to 1535
# equivalent to 1538
# equivalent to 1541
# equivalent to 1540
# equivalent to 1539
# equivalent to 1500
# equivalent to 1499
# equivalent to 1498
# equivalent to 1501
# equivalent to 1504
# equivalent to 1503
# equivalent to 1502
# equivalent to 1493
# equivalent to 1492
# equivalent to 1491
# equivalent to 1494
# equivalent to 1497
# equivalent to 1496
# equivalent to 1495
# equivalent to 1505
# equivalent to 1515
# equivalent to 1514
# equivalent to 1513
# equivalent to 1516
# equivalent to 1519
# equivalent to 1518
# equivalent to 1517
# equivalent to 1508
# equivalent to 1507
# equivalent to 1506
# equivalent to 1509
# equivalent to 1512
# equivalent to 1511
# equivalent to 1510
# equivalent to 1431
# equivalent to 1380
# equivalent to 1342
# equivalent to 1343
# equivalent to 1381
# equivalent to 1384
# equivalent to 1383
# equivalent to 1382
# equivalent to 1346
# equivalent to 1377
# equivalent to 1347
# equivalent to 1378
# equivalent to 1344
# equivalent to 1379
# equivalent to 1345
# equivalent to 1341
# equivalent to 1335
# equivalent to 1336
# equivalent to 1337
# equivalent to 1334
# equivalent to 1332
# equivalent to 1389
# equivalent to 1333
# equivalent to 1387
# equivalent to 1386
# equivalent to 1385
# equivalent to 1388
# equivalent to 1338
# equivalent to 1339
# equivalent to 1340
# equivalent to 1367
# equivalent to 1368
# equivalent to 1369
# equivalent to 1366
# equivalent to 1363
# equivalent to 1364
# equivalent to 1365
# equivalent to 1374
# equivalent to 1375
# equivalent to 1376
# equivalent to 1373
# equivalent to 1370
# equivalent to 1371
# equivalent to 1372
# equivalent to 1362
# equivalent to 1352
# equivalent to 1353
# equivalent to 1354
# equivalent to 1351
# equivalent to 1348
# equivalent to 1349
# equivalent to 1350
# equivalent to 1359
# equivalent to 1360
# equivalent to 1361
# equivalent to 1358
# equivalent to 1355
# equivalent to 1356
# equivalent to 1357
# equivalent to 1390
# equivalent to 1411
# equivalent to 1410
# equivalent to 1409
# equivalent to 1412
# equivalent to 1415
# equivalent to 1414
# equivalent to 1413
# equivalent to 1404
# equivalent to 1403
# equivalent to 1402
# equivalent to 1405
# equivalent to 1408
# equivalent to 1407
# equivalent to 1406
# equivalent to 1416
# equivalent to 1426
# equivalent to 1425
# equivalent to 1424
# equivalent to 1427
# equivalent to 1430
# equivalent to 1429
# equivalent to 1428
# equivalent to 1419
# equivalent to 1418
# equivalent to 1417
# equivalent to 1420
# equivalent to 1423
# equivalent to 1422
# equivalent to 1421
# equivalent to 1326
# equivalent to 1394
# equivalent to 1327
# equivalent to 1395
# equivalent to 1397
# equivalent to 1396
# equivalent to 1325
# equivalent to 1391
# equivalent to 1330
# equivalent to 1331
# equivalent to 1329
# equivalent to 1328
# equivalent to 1393
# equivalent to 1392
# equivalent to 1398
# equivalent to 1317
# equivalent to 1400
# equivalent to 1318
# equivalent to 1316
# equivalent to 1314
# equivalent to 1401
# equivalent to 1315
# equivalent to 1323
# equivalent to 1324
# equivalent to 1399
# equivalent to 1322
# equivalent to 1319
# equivalent to 1320
# equivalent to 1321
# equivalent to 1705
# equivalent to 1704
# equivalent to 1703
# equivalent to 1706
# equivalent to 1709
# equivalent to 1708
# equivalent to 1707
# equivalent to 1698
# equivalent to 1697
# equivalent to 1696
# equivalent to 1699
# equivalent to 1702
# equivalent to 1701
# equivalent to 1700
# equivalent to 1710
# equivalent to 1720
# equivalent to 1719
# equivalent to 1718
# equivalent to 1721
# equivalent to 1724
# equivalent to 1723
# equivalent to 1722
# equivalent to 1713
# equivalent to 1712
# equivalent to 1711
# equivalent to 1714
# equivalent to 1717
# equivalent to 1716
# equivalent to 1715
# equivalent to 1676
# equivalent to 1675
# equivalent to 1674
# equivalent to 1677
# equivalent to 1680
# equivalent to 1679
# equivalent to 1678
# equivalent to 1669
# equivalent to 1668
# equivalent to 1667
# equivalent to 1670
# equivalent to 1673
# equivalent to 1672
# equivalent to 1671
# equivalent to 1681
# equivalent to 1691
# equivalent to 1690
# equivalent to 1689
# equivalent to 1692
# equivalent to 1695
# equivalent to 1694
# equivalent to 1693
# equivalent to 1684
# equivalent to 1683
# equivalent to 1682
# equivalent to 1685
# equivalent to 1688
# equivalent to 1687
# equivalent to 1686
# equivalent to 1725
# equivalent to 1764
# equivalent to 1763
# equivalent to 1762
# equivalent to 1765
# equivalent to 1768
# equivalent to 1767
# equivalent to 1766
# equivalent to 1757
# equivalent to 1756
# equivalent to 1755
# equivalent to 1758
# equivalent to 1761
# equivalent to 1760
# equivalent to 1759
# equivalent to 1769
# equivalent to 1779
# equivalent to 1778
# equivalent to 1777
# equivalent to 1780
# equivalent to 1783
# equivalent to 1782
# equivalent to 1781
# equivalent to 1772
# equivalent to 1771
# equivalent to 1770
# equivalent to 1773
# equivalent to 1776
# equivalent to 1775
# equivalent to 1774
# equivalent to 1735
# equivalent to 1734
# equivalent to 1733
# equivalent to 1736
# equivalent to 1739
# equivalent to 1738
# equivalent to 1737
# equivalent to 1728
# equivalent to 1727
# equivalent to 1726
# equivalent to 1729
# equivalent to 1732
# equivalent to 1731
# equivalent to 1730
# equivalent to 1740
# equivalent to 1750
# equivalent to 1749
# equivalent to 1748
# equivalent to 1751
# equivalent to 1754
# equivalent to 1753
# equivalent to 1752
# equivalent to 1743
# equivalent to 1742
# equivalent to 1741
# equivalent to 1744
# equivalent to 1747
# equivalent to 1746
# equivalent to 1745
# equivalent to 1666
# equivalent to 1588
# equivalent to 1587
# equivalent to 1586
# equivalent to 1589
# equivalent to 1592
# equivalent to 1591
# equivalent to 1590
# equivalent to 1581
# equivalent to 1580
# equivalent to 1579
# equivalent to 1582
# equivalent to 1585
# equivalent to 1584
# equivalent to 1583
# equivalent to 1593
# equivalent to 1603
# equivalent to 1602
# equivalent to 1601
# equivalent to 1604
# equivalent to 1607
# equivalent to 1606
# equivalent to 1605
# equivalent to 1596
# equivalent to 1595
# equivalent to 1594
# equivalent to 1597
# equivalent to 1600
# equivalent to 1599
# equivalent to 1598
# equivalent to 1578
# equivalent to 1558
# equivalent to 1557
# equivalent to 1556
# equivalent to 1559
# equivalent to 1562
# equivalent to 1561
# equivalent to 1560
# equivalent to 1551
# equivalent to 1550
# equivalent to 1549
# equivalent to 1552
# equivalent to 1555
# equivalent to 1554
# equivalent to 1553
# equivalent to 1563
# equivalent to 1573
# equivalent to 1572
# equivalent to 1571
# equivalent to 1574
# equivalent to 1577
# equivalent to 1576
# equivalent to 1575
# equivalent to 1566
# equivalent to 1565
# equivalent to 1564
# equivalent to 1567
# equivalent to 1570
# equivalent to 1569
# equivalent to 1568
# equivalent to 1608
# equivalent to 1642
# equivalent to 1661
# equivalent to 1641
# equivalent to 1643
# equivalent to 1660
# equivalent to 1645
# equivalent to 1644
# equivalent to 1636
# equivalent to 1635
# equivalent to 1634
# equivalent to 1662
# equivalent to 1640
# equivalent to 1639
# equivalent to 1638
# equivalent to 1654
# equivalent to 1653
# equivalent to 1652
# equivalent to 1655
# equivalent to 1658
# equivalent to 1657
# equivalent to 1656
# equivalent to 1659
# equivalent to 1647
# equivalent to 1646
# equivalent to 1648
# equivalent to 1651
# equivalent to 1650
# equivalent to 1649
# equivalent to 1633
# equivalent to 1617
# equivalent to 1616
# equivalent to 1615
# equivalent to 1618
# equivalent to 1621
# equivalent to 1620
# equivalent to 1619
# equivalent to 1610
# equivalent to 1609
# equivalent to 1637
# equivalent to 1611
# equivalent to 1614
# equivalent to 1613
# equivalent to 1612
# equivalent to 1628
# equivalent to 1663
# equivalent to 1664
# equivalent to 1629
# equivalent to 1632
# equivalent to 1631
# equivalent to 1630
# equivalent to 1624
# equivalent to 1623
# equivalent to 1622
# equivalent to 1625
# equivalent to 1627
# equivalent to 1665
# equivalent to 1626
		java.io	File	<init>
		java.io	FileOutputStream	<init>
		Ljava/io/File;
		Ljava/io/FileOutputStream;
	}}}
	EventSpecification #4078 {{{
# equivalent to 4410
# equivalent to 4411
# equivalent to 14
		java.io	File	<init>
		java.io	FileReader	<init>
		Ljava/io/File;
		Ljava/io/FileReader;
	}}}
	EventSpecification #4388 {{{
# equivalent to 4374
		java.io	File	<init>
		java.io	RandomAccessFile	<init>
		Ljava/io/File;
		Ljava/io/RandomAccessFile;
	}}}
	EventSpecification #4442 {{{
		java.io	ObjectStreamClass	getField
		java.io	ObjectStreamClass	lookup
		Ljava/io/ObjectStreamClass;
		Ljava/io/ObjectStreamField;
	}}}
	EventSpecification #4636 {{{
		java.io	PipedReader	<init>
		java.io	PipedWriter	<init>
		Ljava/io/PipedReader;
		Ljava/io/PipedWriter;
	}}}
	EventSpecification #8 {{{
# equivalent to 4054
		java.io	BufferedInputStream	<init>
		java.io	Closeable	close
		java.io	InputStream	read
		Ljava/io/InputStream;
	}}}
	EventSpecification #4083 {{{
		java.io	BufferedOutputStream	<init>
		java.io	Closeable	close
		java.io	OutputStream	write
		Ljava/io/OutputStream;
	}}}
	EventSpecification #21 {{{
# equivalent to 22
		java.io	BufferedReader	<init>
		java.io	BufferedReader	readLine
		java.io	Reader	read
		Ljava/io/Reader;
	}}}
	EventSpecification #32 {{{
# equivalent to 26
# equivalent to 27
# equivalent to 29
# equivalent to 30
# equivalent to 28
# equivalent to 31
# equivalent to 24
		java.io	BufferedReader	<init>
		java.io	BufferedReader	readLine
		java.io	Reader	ready
		Ljava/io/Reader;
	}}}
	EventSpecification #15 {{{
		java.io	BufferedReader	<init>
		java.io	BufferedReader	readLine
		java.io	StringReader	<init>
		Ljava/io/Reader;
	}}}
	EventSpecification #33 {{{
		java.io	BufferedReader	<init>
		java.io	CharArrayReader	<init>
		java.io	Reader	skip
		Ljava/io/Reader;
	}}}
	EventSpecification #4397 {{{
		java.io	BufferedReader	<init>
		java.io	Closeable	close
		java.io	StringReader	<init>
		Ljava/io/Reader;
	}}}
	EventSpecification #4406 {{{
		java.io	BufferedReader	<init>
		java.io	PushbackReader	<init>
		java.io	StringReader	<init>
		Ljava/io/Reader;
	}}}
	EventSpecification #4084 {{{
		java.io	ByteArrayOutputStream	<init>
		java.io	Closeable	close
		java.io	OutputStream	write
		Ljava/io/ByteArrayOutputStream;
	}}}
	EventSpecification #146 {{{
		java.io	ByteArrayOutputStream	<init>
		java.io	DataOutput	writeUTF
		java.io	DataOutputStream	<init>
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4608 {{{
# equivalent to 4420
# equivalent to 152
# equivalent to 4535
# equivalent to 4590
# equivalent to 4466
# equivalent to 4521
# equivalent to 4513
# equivalent to 4455
# equivalent to 4465
# equivalent to 4613
# equivalent to 4612
		java.io	ByteArrayOutputStream	<init>
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4056 {{{
		java.io	Closeable	close
		java.io	DataInputStream	<init>
		java.io	InputStream	read
		Ljava/io/InputStream;
	}}}
	EventSpecification #4085 {{{
		java.io	Closeable	close
		java.io	DataOutputStream	<init>
		java.io	OutputStream	write
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4057 {{{
		java.io	Closeable	close
		java.io	InputStream	read
		java.io	LineNumberInputStream	<init>
		Ljava/io/InputStream;
	}}}
	EventSpecification #4058 {{{
		java.io	Closeable	close
		java.io	InputStream	read
		java.io	PushbackInputStream	<init>
		Ljava/io/InputStream;
	}}}
	EventSpecification #4060 {{{
		java.io	Closeable	close
		java.io	InputStream	read
		java.io	SequenceInputStream	<init>
		Ljava/io/InputStream;
	}}}
	EventSpecification #4059 {{{
		java.io	Closeable	close
		java.io	InputStream	read
		java.io	StringBufferInputStream	<init>
		Ljava/io/InputStream;
	}}}
	EventSpecification #4403 {{{
		java.io	Closeable	close
		java.io	LineNumberReader	<init>
		java.io	StringReader	<init>
		Ljava/io/Reader;
	}}}
	EventSpecification #4082 {{{
		java.io	Closeable	close
		java.io	ObjectOutputStream	<init>
		java.io	OutputStream	write
		Ljava/io/OutputStream;
	}}}
	EventSpecification #149 {{{
		java.io	DataOutput	writeByte
		java.io	DataOutputStream	<init>
		java.io	DataOutputStream	size
		Ljava/io/OutputStream;
	}}}
	EventSpecification #358 {{{
		java.io	File	<init>
		java.io	File	createNewFile
		java.io	File	deleteOnExit
		Ljava/io/File;
	}}}
	EventSpecification #161 {{{
		java.io	File	<init>
		java.io	File	createNewFile
		java.io	File	exists
		Ljava/io/File;
	}}}
	EventSpecification #153 {{{
		java.io	File	<init>
		java.io	File	deleteOnExit
		java.io	File	mkdir
		Ljava/io/File;
	}}}
	EventSpecification #176 {{{
		java.io	File	<init>
		java.io	File	exists
		java.io	File	getCanonicalPath
		Ljava/io/File;
	}}}
	EventSpecification #4103 {{{
		java.io	File	<init>
		java.io	File	getCanonicalPath
		java.io	File	list
		Ljava/io/File;
	}}}
	EventSpecification #4100 {{{
		java.io	File	<init>
		java.io	File	isDirectory
		java.io	File	lastModified
		Ljava/io/File;
	}}}
	EventSpecification #205 {{{
		java.io	File	<init>
		java.io	File	isDirectory
		java.io	File	list
		Ljava/io/File;
	}}}
	EventSpecification #364 {{{
		java.io	File	createTempFile
		java.io	File	delete
		java.io	File	getPath
		Ljava/io/File;
	}}}
	EventSpecification #314 {{{
# equivalent to 305
		java.io	File	exists
		java.io	File	getPath
		java.io	File	length
		Ljava/io/File;
	}}}
	EventSpecification #4439 {{{
# equivalent to 4500
# equivalent to 4548
# equivalent to 4501
# equivalent to 4495
# equivalent to 4545
# equivalent to 4557
# equivalent to 4467
# equivalent to 4437
# equivalent to 4574
# equivalent to 4615
# equivalent to 4591
# equivalent to 4603
# equivalent to 4605
# equivalent to 4569
# equivalent to 4468
# equivalent to 4483
# equivalent to 4596
# equivalent to 4594
		java.io	FileInputStream	<init>
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		Ljava/io/InputStream;
	}}}
	EventSpecification #4433 {{{
		java.io	FileOutputStream	<init>
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4070 {{{
		java.io	InputStream	available
		java.io	InputStream	read
		java.io	LineNumberInputStream	<init>
		Ljava/io/InputStream;
	}}}
	EventSpecification #4475 {{{
# equivalent to 4517
# equivalent to 4476
# equivalent to 4518
		java.io	ObjectStreamClass	getFields
		java.io	ObjectStreamClass	getSerialVersionUID
		java.io	ObjectStreamClass	lookup
		Ljava/io/ObjectStreamClass;
	}}}
	EventSpecification #4104 {{{
		java.io	PrintStream	print
		java.io	PrintStream	println
		java.io	PrintStream	println
		Ljava/io/PrintStream;
	}}}
	EventSpecification #4629 {{{
		java.io	Reader	read
		java.io	Reader	skip
		java.io	StringReader	<init>
		Ljava/io/StringReader;
	}}}
	EventSpecification #4088 {{{
		java.io	BufferedReader	<init>
		java.io	BufferedReader	readLine
		java.io	InputStreamReader	<init>
		Ljava/io/InputStream;
		Ljava/io/Reader;
	}}}
	EventSpecification #4447 {{{
# equivalent to 4581
# equivalent to 4450
# equivalent to 4061
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		Ljava/io/ByteArrayInputStream;
		Ljava/io/ByteArrayOutputStream;
	}}}
	EventSpecification #4402 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	Closeable	close
		java.io	InputStreamReader	<init>
		Ljava/io/InputStream;
		Ljava/io/InputStreamReader;
	}}}
	EventSpecification #139 {{{
# equivalent to 4068
		java.io	ByteArrayInputStream	<init>
		java.io	InputStreamReader	<init>
		java.io	Reader	read
		Ljava/io/InputStream;
		Ljava/io/InputStreamReader;
	}}}
	EventSpecification #4051 {{{
		java.io	Closeable	close
		java.io	PipedInputStream	<init>
		java.io	PipedOutputStream	<init>
		Ljava/io/PipedInputStream;
		Ljava/io/PipedOutputStream;
	}}}
	EventSpecification #4341 {{{
# equivalent to 4405
		java.io	Closeable	close
		java.io	PipedReader	<init>
		java.io	PipedWriter	<init>
		Ljava/io/PipedReader;
		Ljava/io/PipedWriter;
	}}}
	EventSpecification #4387 {{{
		java.io	DataOutput	writeInt
		java.io	File	<init>
		java.io	RandomAccessFile	<init>
		Ljava/io/File;
		Ljava/io/RandomAccessFile;
	}}}
	EventSpecification #4324 {{{
		java.io	OutputStream	write
		java.io	PipedInputStream	<init>
		java.io	PipedOutputStream	<init>
		Ljava/io/PipedInputStream;
		Ljava/io/PipedOutputStream;
	}}}
	EventSpecification #4409 {{{
		java.io	PipedReader	<init>
		java.io	PipedWriter	<init>
		java.io	Writer	write
		Ljava/io/PipedReader;
		Ljava/io/PipedWriter;
	}}}
	EventSpecification #4620 {{{
		java.io	StreamTokenizer	<init>
		java.io	StreamTokenizer	nextToken
		java.io	StringReader	<init>
		Ljava/io/Reader;
		Ljava/io/StreamTokenizer;
	}}}
	EventSpecification #4089 {{{
		java.io	BufferedOutputStream	<init>
		java.io	Flushable	flush
		java.io	PrintStream	<init>
		java.io	PrintStream	print
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4074 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	InputStream	read
		java.io	InputStream	skip
		java.io	LineNumberInputStream	<init>
		Ljava/io/InputStream;
	}}}
	EventSpecification #4576 {{{
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4469 {{{
# equivalent to 4561
		java.io	ByteArrayOutputStream	<init>
		java.io	Closeable	close
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4498 {{{
		java.io	ByteArrayOutputStream	<init>
		java.io	Flushable	flush
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4453 {{{
		java.io	ByteArrayOutputStream	<init>
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		java.io	ObjectOutputStream	reset
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4551 {{{
# equivalent to 4560
# equivalent to 4554
# equivalent to 4570
# equivalent to 4571
		java.io	Closeable	close
		java.io	FileInputStream	<init>
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		Ljava/io/InputStream;
	}}}
	EventSpecification #4575 {{{
# equivalent to 4440
# equivalent to 4474
# equivalent to 4592
# equivalent to 4484
# equivalent to 4461
# equivalent to 4572
# equivalent to 4573
# equivalent to 4462
# equivalent to 4597
# equivalent to 4616
# equivalent to 4607
# equivalent to 4502
# equivalent to 4595
# equivalent to 4496
# equivalent to 4419
# equivalent to 4497
		java.io	Closeable	close
		java.io	FileOutputStream	<init>
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4626 {{{
		java.io	Closeable	close
		java.io	Reader	read
		java.io	Reader	ready
		java.io	StringReader	<init>
		Ljava/io/StringReader;
	}}}
	EventSpecification #163 {{{
		java.io	File	<init>
		java.io	File	createNewFile
		java.io	File	deleteOnExit
		java.io	File	getCanonicalFile
		Ljava/io/File;
	}}}
	EventSpecification #188 {{{
		java.io	File	<init>
		java.io	File	createNewFile
		java.io	File	deleteOnExit
		java.io	File	getCanonicalPath
		Ljava/io/File;
	}}}
	EventSpecification #362 {{{
# equivalent to 372
		java.io	File	<init>
		java.io	File	createNewFile
		java.io	File	deleteOnExit
		java.io	File	getPath
		Ljava/io/File;
	}}}
	EventSpecification #238 {{{
		java.io	File	<init>
		java.io	File	delete
		java.io	File	exists
		java.io	File	renameTo
		Ljava/io/File;
	}}}
	EventSpecification #167 {{{
		java.io	File	<init>
		java.io	File	equals
		java.io	File	getParent
		java.io	File	getParentFile
		Ljava/io/File;
	}}}
	EventSpecification #227 {{{
		java.io	File	<init>
		java.io	File	getFreeSpace
		java.io	File	getTotalSpace
		java.io	File	getUsableSpace
		Ljava/io/File;
	}}}
	EventSpecification #4556 {{{
# equivalent to 4544
		java.io	FileOutputStream	<init>
		java.io	Flushable	flush
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4077 {{{
		java.io	LineNumberReader	<init>
		java.io	LineNumberReader	getLineNumber
		java.io	Reader	read
		java.io	StringReader	<init>
		Ljava/io/Reader;
	}}}
	EventSpecification #23 {{{
		java.io	BufferedWriter	<init>
		java.io	File	<init>
		java.io	FileWriter	<init>
		java.io	Writer	write
		Ljava/io/File;
		Ljava/io/Writer;
	}}}
	EventSpecification #4457 {{{
# equivalent to 4523
# equivalent to 4536
# equivalent to 4470
# equivalent to 4499
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		Ljava/io/ByteArrayOutputStream;
		Ljava/io/InputStream;
	}}}
	EventSpecification #4599 {{{
		java.io	ByteArrayOutputStream	<init>
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		java.io	ObjectStreamClass	lookup
		Ljava/io/ObjectStreamClass;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4087 {{{
		java.io	ByteArrayOutputStream	<init>
		java.io	OutputStreamWriter	<init>
		java.io	Writer	write
		java.io	Writer	write
		Ljava/io/OutputStream;
		Ljava/io/OutputStreamWriter;
	}}}
	EventSpecification #4389 {{{
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	delete
		java.io	RandomAccessFile	<init>
		Ljava/io/File;
		Ljava/io/RandomAccessFile;
	}}}
	EventSpecification #4342 {{{
		java.io	Closeable	close
		java.io	Flushable	flush
		java.io	PipedReader	<init>
		java.io	PipedWriter	<init>
		Ljava/io/PipedReader;
		Ljava/io/PipedWriter;
	}}}
	EventSpecification #4338 {{{
		java.io	Closeable	close
		java.io	OutputStream	write
		java.io	PipedInputStream	<init>
		java.io	PipedOutputStream	<init>
		Ljava/io/PipedInputStream;
		Ljava/io/PipedOutputStream;
	}}}
	EventSpecification #4343 {{{
		java.io	Closeable	close
		java.io	PipedReader	<init>
		java.io	PipedWriter	<init>
		java.io	Writer	write
		Ljava/io/PipedReader;
		Ljava/io/PipedWriter;
	}}}
	EventSpecification #4383 {{{
		java.io	DataInput	readLine
		java.io	DataOutput	writeBytes
		java.io	File	<init>
		java.io	RandomAccessFile	<init>
		Ljava/io/File;
		Ljava/io/RandomAccessFile;
	}}}
	EventSpecification #4393 {{{
		java.io	DataOutput	writeUTF
		java.io	File	<init>
		java.io	File	delete
		java.io	RandomAccessFile	<init>
		Ljava/io/File;
		Ljava/io/RandomAccessFile;
	}}}
	EventSpecification #4094 {{{
		java.io	File	<init>
		java.io	File	createNewFile
		java.io	File	deleteOnExit
		java.io	FileWriter	<init>
		Ljava/io/File;
		Ljava/io/FileWriter;
	}}}
	EventSpecification #166 {{{
		java.io	File	<init>
		java.io	File	createNewFile
		java.io	File	mkdir
		java.io	FileInputStream	<init>
		Ljava/io/File;
		Ljava/io/FileInputStream;
	}}}
	EventSpecification #4102 {{{
		java.io	File	<init>
		java.io	File	getCanonicalPath
		java.io	PrintStream	println
		java.io	PrintStream	println
		Ljava/io/File;
		Ljava/io/PrintStream;
	}}}
	EventSpecification #4485 {{{
# equivalent to 4487
		java.io	File	<init>
		java.io	FileInputStream	<init>
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		Ljava/io/File;
		Ljava/io/InputStream;
	}}}
	EventSpecification #4329 {{{
		java.io	InputStream	read
		java.io	OutputStream	write
		java.io	PipedInputStream	<init>
		java.io	PipedOutputStream	<init>
		Ljava/io/PipedInputStream;
		Ljava/io/PipedOutputStream;
	}}}
	EventSpecification #4625 {{{
		java.io	InputStream	reset
		java.io	StreamTokenizer	<init>
		java.io	StreamTokenizer	nextToken
		java.io	StringBufferInputStream	<init>
		Ljava/io/InputStream;
		Ljava/io/StreamTokenizer;
	}}}
	EventSpecification #4335 {{{
		java.io	PipedInputStream	<init>
		java.io	PipedInputStream	connect
		java.io	PipedOutputStream	<init>
		java.io	PipedOutputStream	connect
		Ljava/io/PipedInputStream;
		Ljava/io/PipedOutputStream;
	}}}
	EventSpecification #4339 {{{
		java.io	PipedReader	<init>
		java.io	PipedWriter	<init>
		java.io	Reader	read
		java.io	Writer	write
		Ljava/io/PipedReader;
		Ljava/io/PipedWriter;
	}}}
	EventSpecification #13 {{{
		java.io	BufferedInputStream	<init>
		java.io	InputStream	mark
		java.io	InputStream	read
		java.io	InputStream	reset
		java.io	InputStream	skip
		Ljava/io/InputStream;
	}}}
	EventSpecification #17 {{{
		java.io	BufferedReader	<init>
		java.io	Reader	mark
		java.io	Reader	read
		java.io	Reader	reset
		java.io	StringReader	<init>
		Ljava/io/Reader;
	}}}
	EventSpecification #4364 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	Closeable	close
		java.io	InputStream	read
		java.io	PushbackInputStream	<init>
		java.io	PushbackInputStream	unread
		Ljava/io/InputStream;
	}}}
	EventSpecification #4362 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	InputStream	available
		java.io	InputStream	read
		java.io	PushbackInputStream	<init>
		java.io	PushbackInputStream	unread
		Ljava/io/InputStream;
	}}}
	EventSpecification #4366 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	InputStream	mark
		java.io	InputStream	read
		java.io	InputStream	reset
		java.io	PushbackInputStream	<init>
		Ljava/io/InputStream;
	}}}
	EventSpecification #4370 {{{
# equivalent to 4369
# equivalent to 4367
		java.io	ByteArrayInputStream	<init>
		java.io	InputStream	read
		java.io	InputStream	skip
		java.io	PushbackInputStream	<init>
		java.io	PushbackInputStream	unread
		Ljava/io/InputStream;
	}}}
	EventSpecification #4454 {{{
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	reset
		java.io	ByteArrayOutputStream	toByteArray
		java.io	DataOutput	writeUTF
		java.io	DataOutputStream	<init>
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4417 {{{
# equivalent to 4416
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Closeable	close
		java.io	ObjectOutputStream	<init>
		java.io	OutputStream	write
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4348 {{{
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Closeable	close
		java.io	PrintStream	<init>
		java.io	PrintStream	print
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4372 {{{
		java.io	CharArrayReader	<init>
		java.io	PushbackReader	<init>
		java.io	PushbackReader	unread
		java.io	Reader	read
		java.io	Reader	skip
		Ljava/io/Reader;
	}}}
	EventSpecification #4553 {{{
# equivalent to 4559
# equivalent to 4550
# equivalent to 4547
		java.io	Closeable	close
		java.io	FileOutputStream	<init>
		java.io	Flushable	flush
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/OutputStream;
	}}}
	EventSpecification #145 {{{
		java.io	DataInput	readLine
		java.io	DataInputStream	<init>
		java.io	InputStream	available
		java.io	PushbackInputStream	<init>
		java.io	StringBufferInputStream	<init>
		Ljava/io/InputStream;
	}}}
	EventSpecification #223 {{{
# equivalent to 217
# equivalent to 226
# equivalent to 222
# equivalent to 220
# equivalent to 221
# equivalent to 225
# equivalent to 218
# equivalent to 219
# equivalent to 210
# equivalent to 209
# equivalent to 208
# equivalent to 211
# equivalent to 214
# equivalent to 213
# equivalent to 212
# equivalent to 224
# equivalent to 215
# equivalent to 216
# equivalent to 207
		java.io	File	<init>
		java.io	File	canRead
		java.io	File	createNewFile
		java.io	File	delete
		java.io	File	exists
		Ljava/io/File;
	}}}
	EventSpecification #4099 {{{
		java.io	File	<init>
		java.io	File	getCanonicalFile
		java.io	File	getParent
		java.io	File	getParentFile
		java.io	File	getPath
		Ljava/io/File;
	}}}
	EventSpecification #4071 {{{
		java.io	InputStream	mark
		java.io	InputStream	read
		java.io	InputStream	reset
		java.io	LineNumberInputStream	<init>
		java.io	StringBufferInputStream	<init>
		Ljava/io/InputStream;
	}}}
	EventSpecification #4415 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Flushable	flush
		java.io	ObjectOutputStream	<init>
		Ljava/io/ByteArrayInputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4478 {{{
# equivalent to 4481
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		Ljava/io/ByteArrayOutputStream;
		Ljava/io/InputStream;
	}}}
	EventSpecification #4528 {{{
# equivalent to 4585
# equivalent to 4587
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/ByteArrayInputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4562 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Closeable	close
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		Ljava/io/ByteArrayOutputStream;
		Ljava/io/InputStream;
	}}}
	EventSpecification #4110 {{{
# equivalent to 4108
# equivalent to 4121
# equivalent to 4123
# equivalent to 4124
# equivalent to 4122
# equivalent to 4112
# equivalent to 4111
# equivalent to 4150
# equivalent to 4116
# equivalent to 4114
# equivalent to 4115
# equivalent to 4143
# equivalent to 4119
# equivalent to 4120
# equivalent to 4118
# equivalent to 4113
# equivalent to 4117
# equivalent to 4223
# equivalent to 4224
# equivalent to 4225
# equivalent to 4222
# equivalent to 4219
# equivalent to 4220
# equivalent to 4221
# equivalent to 4230
# equivalent to 4231
# equivalent to 4232
# equivalent to 4229
# equivalent to 4226
# equivalent to 4227
# equivalent to 4228
# equivalent to 4218
# equivalent to 4208
# equivalent to 4209
# equivalent to 4210
# equivalent to 4207
# equivalent to 4204
# equivalent to 4205
# equivalent to 4206
# equivalent to 4215
# equivalent to 4216
# equivalent to 4217
# equivalent to 4214
# equivalent to 4211
# equivalent to 4212
# equivalent to 4213
# equivalent to 4233
# equivalent to 4253
# equivalent to 4254
# equivalent to 4255
# equivalent to 4252
# equivalent to 4249
# equivalent to 4250
# equivalent to 4251
# equivalent to 4260
# equivalent to 4261
# equivalent to 4262
# equivalent to 4259
# equivalent to 4256
# equivalent to 4257
# equivalent to 4258
# equivalent to 4248
# equivalent to 4238
# equivalent to 4239
# equivalent to 4240
# equivalent to 4237
# equivalent to 4234
# equivalent to 4235
# equivalent to 4236
# equivalent to 4245
# equivalent to 4246
# equivalent to 4247
# equivalent to 4244
# equivalent to 4241
# equivalent to 4242
# equivalent to 4243
# equivalent to 4203
# equivalent to 4163
# equivalent to 4164
# equivalent to 4165
# equivalent to 4162
# equivalent to 4159
# equivalent to 4160
# equivalent to 4161
# equivalent to 4170
# equivalent to 4171
# equivalent to 4172
# equivalent to 4169
# equivalent to 4166
# equivalent to 4167
# equivalent to 4168
# equivalent to 4158
# equivalent to 4148
# equivalent to 4149
# equivalent to 4142
# equivalent to 4147
# equivalent to 4144
# equivalent to 4145
# equivalent to 4146
# equivalent to 4155
# equivalent to 4156
# equivalent to 4157
# equivalent to 4154
# equivalent to 4151
# equivalent to 4152
# equivalent to 4153
# equivalent to 4173
# equivalent to 4193
# equivalent to 4194
# equivalent to 4195
# equivalent to 4192
# equivalent to 4189
# equivalent to 4190
# equivalent to 4191
# equivalent to 4200
# equivalent to 4201
# equivalent to 4202
# equivalent to 4199
# equivalent to 4196
# equivalent to 4197
# equivalent to 4198
# equivalent to 4188
# equivalent to 4178
# equivalent to 4179
# equivalent to 4180
# equivalent to 4177
# equivalent to 4174
# equivalent to 4175
# equivalent to 4176
# equivalent to 4185
# equivalent to 4186
# equivalent to 4187
# equivalent to 4184
# equivalent to 4181
# equivalent to 4182
# equivalent to 4183
# equivalent to 4305
# equivalent to 4306
# equivalent to 4307
# equivalent to 4302
# equivalent to 4303
# equivalent to 4304
# equivalent to 4308
# equivalent to 4312
# equivalent to 4313
# equivalent to 4314
# equivalent to 4309
# equivalent to 4310
# equivalent to 4311
# equivalent to 4292
# equivalent to 4293
# equivalent to 4294
# equivalent to 4289
# equivalent to 4290
# equivalent to 4291
# equivalent to 4295
# equivalent to 4299
# equivalent to 4300
# equivalent to 4301
# equivalent to 4296
# equivalent to 4297
# equivalent to 4298
# equivalent to 4134
# equivalent to 4133
# equivalent to 4132
# equivalent to 4137
# equivalent to 4136
# equivalent to 4135
# equivalent to 4131
# equivalent to 4127
# equivalent to 4126
# equivalent to 4125
# equivalent to 4130
# equivalent to 4129
# equivalent to 4128
# equivalent to 4318
# equivalent to 4319
# equivalent to 4320
# equivalent to 4315
# equivalent to 4316
# equivalent to 4317
# equivalent to 4321
# equivalent to 4140
# equivalent to 4139
# equivalent to 4138
# equivalent to 4322
# equivalent to 4323
# equivalent to 4141
# equivalent to 4288
# equivalent to 4267
# equivalent to 4279
# equivalent to 4278
# equivalent to 4268
# equivalent to 4281
# equivalent to 4282
# equivalent to 4280
# equivalent to 4266
# equivalent to 4277
# equivalent to 4271
# equivalent to 4272
# equivalent to 4269
# equivalent to 4270
# equivalent to 4275
# equivalent to 4276
# equivalent to 4273
# equivalent to 4274
# equivalent to 4283
# equivalent to 4265
# equivalent to 4264
# equivalent to 4285
# equivalent to 4286
# equivalent to 4284
# equivalent to 4263
# equivalent to 4287
		java.io	Closeable	close
		java.io	Closeable	close
		java.io	OutputStream	write
		java.io	PipedInputStream	<init>
		java.io	PipedOutputStream	<init>
		Ljava/io/PipedInputStream;
		Ljava/io/PipedOutputStream;
	}}}
	EventSpecification #4386 {{{
		java.io	Closeable	close
		java.io	DataInput	readChar
		java.io	DataOutput	writeChar
		java.io	File	<init>
		java.io	RandomAccessFile	<init>
		Ljava/io/File;
		Ljava/io/RandomAccessFile;
	}}}
	EventSpecification #4385 {{{
		java.io	Closeable	close
		java.io	DataInput	readShort
		java.io	DataOutput	writeShort
		java.io	File	<init>
		java.io	RandomAccessFile	<init>
		Ljava/io/File;
		Ljava/io/RandomAccessFile;
	}}}
	EventSpecification #370 {{{
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	createNewFile
		java.io	File	deleteOnExit
		java.io	FileInputStream	<init>
		Ljava/io/File;
		Ljava/io/FileInputStream;
	}}}
	EventSpecification #4036 {{{
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	createNewFile
		java.io	File	deleteOnExit
		java.io	FileOutputStream	<init>
		Ljava/io/File;
		Ljava/io/FileOutputStream;
	}}}
	EventSpecification #4404 {{{
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	createNewFile
		java.io	File	deleteOnExit
		java.io	FileReader	<init>
		Ljava/io/File;
		Ljava/io/InputStreamReader;
	}}}
	EventSpecification #4377 {{{
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	createNewFile
		java.io	File	deleteOnExit
		java.io	RandomAccessFile	<init>
		Ljava/io/File;
		Ljava/io/RandomAccessFile;
	}}}
	EventSpecification #4080 {{{
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	delete
		java.io	FileOutputStream	<init>
		java.io	OutputStream	write
		Ljava/io/File;
		Ljava/io/FileOutputStream;
	}}}
	EventSpecification #4356 {{{
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	deleteOnExit
		java.io	FileWriter	<init>
		java.io	PrintWriter	<init>
		Ljava/io/File;
		Ljava/io/Writer;
	}}}
	EventSpecification #4489 {{{
# equivalent to 4490
		java.io	Closeable	close
		java.io	File	<init>
		java.io	FileInputStream	<init>
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		Ljava/io/File;
		Ljava/io/InputStream;
	}}}
	EventSpecification #4491 {{{
# equivalent to 4486
# equivalent to 4488
		java.io	Closeable	close
		java.io	File	<init>
		java.io	FileOutputStream	<init>
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/File;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4373 {{{
		java.io	Closeable	close
		java.io	File	createTempFile
		java.io	File	deleteOnExit
		java.io	RandomAccessFile	<init>
		java.io	RandomAccessFile	getChannel
		Ljava/io/File;
		Ljava/io/RandomAccessFile;
	}}}
	EventSpecification #4330 {{{
		java.io	Closeable	close
		java.io	InputStream	read
		java.io	OutputStream	write
		java.io	PipedInputStream	<init>
		java.io	PipedOutputStream	<init>
		Ljava/io/InputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4086 {{{
# equivalent to 4332
		java.io	Closeable	close
		java.io	OutputStream	write
		java.io	PipedInputStream	<init>
		java.io	PipedOutputStream	<init>
		java.io	PipedOutputStream	connect
		Ljava/io/PipedInputStream;
		Ljava/io/PipedOutputStream;
	}}}
	EventSpecification #4340 {{{
		java.io	Closeable	close
		java.io	PipedReader	<init>
		java.io	PipedWriter	<init>
		java.io	Reader	ready
		java.io	Writer	write
		Ljava/io/PipedReader;
		Ljava/io/Writer;
	}}}
	EventSpecification #4334 {{{
		java.io	OutputStream	write
		java.io	OutputStream	write
		java.io	PipedInputStream	<init>
		java.io	PipedInputStream	connect
		java.io	PipedOutputStream	<init>
		Ljava/io/OutputStream;
		Ljava/io/PipedInputStream;
	}}}
	EventSpecification #4050 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	Closeable	close
		java.io	PushbackInputStream	<init>
		java.io	PushbackInputStream	unread
		java.io	PushbackInputStream	unread
		java.io	PushbackInputStream	unread
		Ljava/io/InputStream;
	}}}
	EventSpecification #150 {{{
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	size
		java.io	DataOutput	writeUTF
		java.io	DataOutputStream	<init>
		java.io	DataOutputStream	size
		java.io	Flushable	flush
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4400 {{{
		java.io	CharArrayReader	<init>
		java.io	Closeable	close
		java.io	PushbackReader	<init>
		java.io	PushbackReader	unread
		java.io	PushbackReader	unread
		java.io	PushbackReader	unread
		Ljava/io/Reader;
	}}}
	EventSpecification #4106 {{{
		java.io	File	<init>
		java.io	File	delete
		java.io	File	exists
		java.io	File	isDirectory
		java.io	File	mkdir
		java.io	File	renameTo
		Ljava/io/File;
	}}}
	EventSpecification #4076 {{{
		java.io	LineNumberReader	<init>
		java.io	LineNumberReader	getLineNumber
		java.io	Reader	mark
		java.io	Reader	read
		java.io	Reader	reset
		java.io	StringReader	<init>
		Ljava/io/Reader;
	}}}
	EventSpecification #4430 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Closeable	close
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		Ljava/io/ByteArrayOutputStream;
		Ljava/io/InputStream;
	}}}
	EventSpecification #4445 {{{
# equivalent to 4459
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Closeable	close
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/ByteArrayInputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4328 {{{
# equivalent to 4326
		java.io	Closeable	close
		java.io	Closeable	close
		java.io	InputStream	read
		java.io	OutputStream	write
		java.io	PipedInputStream	<init>
		java.io	PipedOutputStream	<init>
		Ljava/io/InputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4375 {{{
		java.io	Closeable	close
		java.io	DataInput	readUTF
		java.io	DataOutput	writeUTF
		java.io	File	createTempFile
		java.io	File	deleteOnExit
		java.io	RandomAccessFile	<init>
		Ljava/io/File;
		Ljava/io/RandomAccessFile;
	}}}
	EventSpecification #142 {{{
		java.io	Closeable	close
		java.io	DataInputStream	<init>
		java.io	File	<init>
		java.io	File	createNewFile
		java.io	File	deleteOnExit
		java.io	FileInputStream	<init>
		Ljava/io/File;
		Ljava/io/InputStream;
	}}}
	EventSpecification #4541 {{{
		java.io	Closeable	close
		java.io	Flushable	flush
		java.io	ObjectInput	readObject
		java.io	ObjectOutput	writeObject
		java.io	PrintStream	<init>
		java.io	PrintStream	println
		Ljava/io/ObjectInputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4325 {{{
		java.io	Closeable	close
		java.io	InputStream	read
		java.io	OutputStream	write
		java.io	PipedInputStream	<init>
		java.io	PipedInputStream	connect
		java.io	PipedOutputStream	<init>
		Ljava/io/PipedInputStream;
		Ljava/io/PipedOutputStream;
	}}}
	EventSpecification #4381 {{{
		java.io	Closeable	close
		java.io	DataInput	readFully
		java.io	File	<init>
		java.io	File	delete
		java.io	FileOutputStream	<init>
		java.io	RandomAccessFile	<init>
		Ljava/io/File;
		Ljava/io/FileOutputStream;
		Ljava/io/RandomAccessFile;
	}}}
	EventSpecification #4382 {{{
		java.io	Closeable	close
		java.io	DataOutput	write
		java.io	File	<init>
		java.io	File	delete
		java.io	FileOutputStream	<init>
		java.io	RandomAccessFile	<init>
		Ljava/io/File;
		Ljava/io/FileOutputStream;
		Ljava/io/RandomAccessFile;
	}}}
	EventSpecification #4379 {{{
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	delete
		java.io	FileOutputStream	<init>
		java.io	RandomAccessFile	<init>
		java.io	RandomAccessFile	read
		Ljava/io/File;
		Ljava/io/FileOutputStream;
		Ljava/io/RandomAccessFile;
	}}}
	EventSpecification #193 {{{
		java.io	File	<init>
		java.io	File	list
		java.io	File	list
		java.io	File	listFiles
		java.io	File	listFiles
		java.io	File	listFiles
		Ljava/io/File;
		Ljava/io/FileFilter;
		Ljava/io/FilenameFilter;
	}}}
	EventSpecification #4564 {{{
		java.io	FileOutputStream	<init>
		java.io	Flushable	flush
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		java.io	PrintStream	println
		java.io	PrintStream	println
		java.io	PrintStream	println
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4584 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Closeable	close
		java.io	ObjectInputStream	<init>
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/InputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4390 {{{
		java.io	DataInput	readChar
		java.io	DataOutput	writeBytes
		java.io	DataOutput	writeChars
		java.io	File	<init>
		java.io	File	delete
		java.io	RandomAccessFile	<init>
		java.io	RandomAccessFile	read
		Ljava/io/File;
		Ljava/io/RandomAccessFile;
	}}}
	EventSpecification #4617 {{{
		java.io	File	<init>
		java.io	FileReader	<init>
		java.io	StreamTokenizer	<init>
		java.io	StreamTokenizer	nextToken
		java.io	StreamTokenizer	ordinaryChar
		java.io	StreamTokenizer	slashSlashComments
		java.io	StreamTokenizer	slashStarComments
		Ljava/io/File;
		Ljava/io/Reader;
		Ljava/io/StreamTokenizer;
	}}}
	EventSpecification #34 {{{
		java.io	BufferedWriter	<init>
		java.io	Closeable	close
		java.io	Closeable	close
		java.io	PipedReader	<init>
		java.io	PipedWriter	<init>
		java.io	Reader	read
		java.io	Writer	write
		java.io	Writer	write
		Ljava/io/PipedReader;
		Ljava/io/Writer;
	}}}
	EventSpecification #4589 {{{
# equivalent to 4472
# equivalent to 4477
# equivalent to 4471
# equivalent to 4531
# equivalent to 4525
# equivalent to 4494
# equivalent to 4566
# equivalent to 4567
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Closeable	close
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/InputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4614 {{{
# equivalent to 4593
# equivalent to 4526
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Flushable	flush
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/InputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4344 {{{
		java.io	Closeable	close
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	deleteOnExit
		java.io	FileOutputStream	<init>
		java.io	PrintStream	<init>
		java.io	PrintStream	checkError
		java.io	PrintStream	println
		Ljava/io/File;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4512 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Closeable	close
		java.io	ObjectInputStream	<init>
		java.io	ObjectInputStream	registerValidation
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/InputStream;
		Ljava/io/ObjectInputValidation;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4066 {{{
		java.io	BufferedReader	<init>
		java.io	BufferedReader	readLine
		java.io	DataOutput	writeBytes
		java.io	File	<init>
		java.io	File	delete
		java.io	FileInputStream	<init>
		java.io	InputStreamReader	<init>
		java.io	RandomAccessFile	<init>
		Ljava/io/File;
		Ljava/io/InputStream;
		Ljava/io/RandomAccessFile;
		Ljava/io/Reader;
	}}}
	EventSpecification #140 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Closeable	close
		java.io	InputStreamReader	<init>
		java.io	OutputStreamWriter	<init>
		java.io	Reader	read
		java.io	Writer	write
		Ljava/io/InputStream;
		Ljava/io/InputStreamReader;
		Ljava/io/OutputStream;
		Ljava/io/Writer;
	}}}
	EventSpecification #4346 {{{
		java.io	BufferedOutputStream	<init>
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	deleteOnExit
		java.io	FileOutputStream	<init>
		java.io	PrintStream	<init>
		java.io	PrintStream	checkError
		java.io	PrintStream	clearError
		java.io	PrintStream	println
		Ljava/io/File;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4353 {{{
		java.io	BufferedWriter	<init>
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	deleteOnExit
		java.io	FileWriter	<init>
		java.io	PrintWriter	<init>
		java.io	PrintWriter	checkError
		java.io	PrintWriter	clearError
		java.io	PrintWriter	println
		Ljava/io/File;
		Ljava/io/Writer;
	}}}
	EventSpecification #4598 {{{
# equivalent to 4530
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Closeable	close
		java.io	Closeable	close
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/InputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4604 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Closeable	close
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		java.io	ObjectInputStream	readUnshared
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/InputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4606 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Closeable	close
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		java.io	ObjectOutputStream	writeUnshared
		Ljava/io/InputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4515 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	reset
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Closeable	close
		java.io	Closeable	close
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/InputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #237 {{{
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	<init>
		java.io	File	canWrite
		java.io	File	delete
		java.io	File	exists
		java.io	File	mkdir
		java.io	File	setReadOnly
		java.io	FileOutputStream	<init>
		Ljava/io/File;
		Ljava/io/FileOutputStream;
	}}}
	EventSpecification #236 {{{
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	<init>
		java.io	File	delete
		java.io	File	exists
		java.io	File	lastModified
		java.io	File	mkdir
		java.io	File	setLastModified
		java.io	FileOutputStream	<init>
		Ljava/io/File;
		Ljava/io/FileOutputStream;
	}}}
	EventSpecification #4055 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	Closeable	close
		java.io	Closeable	close
		java.io	InputStream	read
		java.io	InputStream	read
		java.io	OutputStream	write
		java.io	PipedInputStream	<init>
		java.io	PipedOutputStream	<init>
		java.io	PipedOutputStream	connect
		Ljava/io/ByteArrayInputStream;
		Ljava/io/PipedInputStream;
		Ljava/io/PipedOutputStream;
	}}}
	EventSpecification #360 {{{
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	createNewFile
		java.io	File	deleteOnExit
		java.io	FileInputStream	<init>
		java.io	FileInputStream	<init>
		java.io	FileInputStream	getFD
		java.io	FileOutputStream	<init>
		java.io	OutputStream	write
		Ljava/io/File;
		Ljava/io/FileDescriptor;
		Ljava/io/FileInputStream;
		Ljava/io/FileOutputStream;
	}}}
	EventSpecification #4610 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Closeable	close
		java.io	Closeable	close
		java.io	Flushable	flush
		java.io	ObjectInput	readObject
		java.io	ObjectInputStream	<init>
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/InputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #4538 {{{
		java.io	ByteArrayInputStream	<init>
		java.io	ByteArrayOutputStream	<init>
		java.io	ByteArrayOutputStream	toByteArray
		java.io	Flushable	flush
		java.io	InputStream	read
		java.io	InputStream	read
		java.io	ObjectInputStream	<init>
		java.io	ObjectOutputStream	<init>
		java.io	OutputStream	write
		java.io	OutputStream	write
		Ljava/io/InputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #357 {{{
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	createNewFile
		java.io	File	deleteOnExit
		java.io	FileDescriptor	valid
		java.io	FileInputStream	<init>
		java.io	FileInputStream	getChannel
		java.io	FileInputStream	getFD
		java.io	FileOutputStream	<init>
		java.io	OutputStream	write
		Ljava/io/File;
		Ljava/io/FileDescriptor;
		Ljava/io/FileInputStream;
		Ljava/io/FileOutputStream;
	}}}
	EventSpecification #4048 {{{
		java.io	BufferedInputStream	<init>
		java.io	Closeable	close
		java.io	Closeable	close
		java.io	Closeable	close
		java.io	DataInputStream	<init>
		java.io	File	<init>
		java.io	File	createNewFile
		java.io	File	deleteOnExit
		java.io	FileInputStream	<init>
		java.io	FileInputStream	getChannel
		java.io	FileInputStream	getFD
		Ljava/io/File;
		Ljava/io/FileDescriptor;
		Ljava/io/InputStream;
	}}}
	EventSpecification #4351 {{{
		java.io	Closeable	close
		java.io	Closeable	close
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	deleteOnExit
		java.io	FileOutputStream	<init>
		java.io	FileWriter	<init>
		java.io	PrintStream	<init>
		java.io	PrintWriter	<init>
		java.io	PrintWriter	<init>
		java.io	PrintWriter	checkError
		java.io	PrintWriter	println
		Ljava/io/File;
		Ljava/io/OutputStream;
		Ljava/io/Writer;
	}}}
	EventSpecification #4052 {{{
		java.io	Closeable	close
		java.io	Closeable	close
		java.io	Closeable	close
		java.io	DataOutput	writeInt
		java.io	File	<init>
		java.io	File	delete
		java.io	FileInputStream	<init>
		java.io	FileOutputStream	<init>
		java.io	InputStream	read
		java.io	InputStream	read
		java.io	ObjectInputStream	<init>
		java.io	ObjectOutput	writeObject
		java.io	ObjectOutputStream	<init>
		Ljava/io/File;
		Ljava/io/InputStream;
		Ljava/io/OutputStream;
	}}}
	EventSpecification #168 {{{
		java.io	File	<init>
		java.io	File	equals
		java.io	File	getAbsoluteFile
		java.io	File	getAbsolutePath
		java.io	File	getCanonicalFile
		java.io	File	getCanonicalPath
		java.io	File	getName
		java.io	File	getParentFile
		java.io	File	list
		java.io	File	list
		java.io	File	listFiles
		java.io	File	listFiles
		java.io	File	listFiles
		Ljava/io/File;
		Ljava/io/FileFilter;
		Ljava/io/FilenameFilter;
	}}}
	EventSpecification #235 {{{
		java.io	Closeable	close
		java.io	File	<init>
		java.io	File	<init>
		java.io	File	canExecute
		java.io	File	canRead
		java.io	File	canWrite
		java.io	File	delete
		java.io	File	exists
		java.io	File	isDirectory
		java.io	File	mkdir
		java.io	File	setExecutable
		java.io	File	setExecutable
		java.io	File	setReadable
		java.io	File	setReadable
		java.io	File	setReadOnly
		java.io	File	setWritable
		java.io	File	setWritable
		java.io	FileOutputStream	<init>
		Ljava/io/File;
		Ljava/io/FileOutputStream;
	}}}
